Module Monad


module Monad: sig .. end
minimalistic monad-type, primary used for quick definitions

module type MONAD_MINIMAL = sig .. end
module type MONAD = sig .. end
useful monad-type
module type TYPEWRAPPER = sig .. end
module-type to represent generic states used by state-monad
module Identity: sig .. end
identity-monad
module Option: sig .. end
option-monad
module Exception: sig .. end
exception-monad
module State: 
functor (S : TYPEWRAPPER) -> sig .. end
state-monad
module IO: sig .. end
io-monad