caption={\Gls{Task}-combinators},label={lst:combinators}]
//Step combinator
(>>=) infixl 1 :: (Task a) (a -> Task b) -> Task b | iTask a & iTask b
caption={\Gls{Task}-combinators},label={lst:combinators}]
//Step combinator
(>>=) infixl 1 :: (Task a) (a -> Task b) -> Task b | iTask a & iTask b