Ppl__.Monad
module type S = sig ... end
Basic functions required for definition of a monad
module type Monad = sig ... end
Extended monad function signatures
module Make_Extended : functor (M : S) -> Monad with type 'a t := 'a M.t
Functor to create extended monad functions from a basic definition