module Monad_infix: Monad.Infix2 with type ('a, 'd) monad = ('a, 'd) monad
Monad.Infix2
with type ('a, 'd) monad = ('a, 'd) monad
type ('a, 'b) monad
('a, 'b)
val (>>=) : ('a, 'b) monad -> ('a -> ('c, 'b) monad) -> ('c, 'b) monad
('a, 'b) monad -> ('a -> ('c, 'b) monad) -> ('c, 'b) monad
val (>>|) : ('a, 'b) monad -> ('a -> 'c) -> ('c, 'b) monad
('a, 'b) monad -> ('a -> 'c) -> ('c, 'b) monad