Module Monad.S2.Monad_infix


module Monad_infix: Monad.Infix2  with type ('a, 'd) monad = ('a, 'd) monad

type ('a, 'b) monad 
val (>>=) : ('a, 'b) monad ->
('a -> ('c, 'b) monad) -> ('c, 'b) monad
val (>>|) : ('a, 'b) monad -> ('a -> 'c) -> ('c, 'b) monad