Module Std.Monad


module Monad: Monad

module type Basic = sig .. end
module type Infix = sig .. end
module type S = sig .. end
module Make: 
functor (M : Basic) -> sig .. end