Infix.Monad
M : Interface.MONAD
module Functions : sig ... end
val (>=>) : ('a -> 'b M.t) -> ('b -> 'c M.t) -> 'a -> 'c M.t
val (<=<) : ('a -> 'b M.t) -> ('c -> 'a M.t) -> 'c -> 'b M.t