val (<$>) : ('a -> 'b) -> 'a Monad.t -> 'b Monad.tval (<@>) : 'a Monad.t -> ('a -> 'b) -> 'b Monad.tval (<*>) : ('a -> 'b) Monad.t -> 'a Monad.t -> 'b Monad.tval (>>=) : 'a Monad.t -> ('a -> 'b Monad.t) -> 'b Monad.tval (=<<) : ('a -> 'b Monad.t) -> 'a Monad.t -> 'b Monad.tval (>=>) : ('a -> 'b Monad.t) -> ('b -> 'c Monad.t) -> 'a -> 'c Monad.tval (<=<) : ('a -> 'b Monad.t) -> ('c -> 'a Monad.t) -> 'c -> 'b Monad.tval (<<=) : ('a Extend.t -> 'b) -> 'a Extend.t -> 'b Extend.tval (=>>) : 'a Extend.t -> ('a Extend.t -> 'b) -> 'b Extend.t