Module Monad

module Monad: sig .. end

module type Monad = sig .. end

module type MonadPlus = sig .. end

module MonadDefault: 
functor (M : sig

type +'a m 


val return : 'a -> 'a m
val fail : string -> 'a m
val (>>=) : 'a m ->
       ('a -> 'b m) -> 'b m
end) -> Monad  with type +'a m = 'a M.m

module Monad_option: MonadPlus  with type 'a m = 'a option

module Monad_list: MonadPlus  with type 'a m = 'a list

module IO: sig .. end

module type MonadUtilsSig = sig .. end

module MonadUtils: 
functor (M : Monad) -> MonadUtilsSig  with type 'a m = 'a M.m

module type MonadPlusUtilsSig = sig .. end

module MonadPlusUtils: 
functor (M : MonadPlus) -> MonadPlusUtilsSig  with type 'a m = 'a M.m

module MonadPlusUtils_option: MonadPlusUtilsSig  with type 'a m = 'a Monad_option.m

module MonadPlusUtils_list: MonadPlusUtilsSig  with type 'a m = 'a Monad_list.m

module Monad_IO: MonadUtilsSig  with type 'a m = 'a IO.m

module type Monad_state_type = sig .. end

module Monad_state: 
functor (S : sig

type state 

end) -> Monad_state_type  with type state = S.state