Module Deriving_monad

module Deriving_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 ^nEE`@@@@pEE^q
module Monad_option: MonadPlus vEEIwEEb@yEEIz
module Monad_list: MonadPlus @@!mFcx
module IO: sig .. end
module type MonadUtilsSig = sig .. end
module MonadUtils: 
functor (M : Monad-> MonadUtilsSig (@@@NN
module type MonadPlusUtilsSig = sig .. end
module MonadPlusUtils: 
functor (M : MonadPlus-> MonadPlusUtilsSig SOb@!aSO
module MonadPlusUtils_option: MonadPlusUtilsSig SOXSOb@Р&return
module MonadPlusUtils_list: MonadPlusUtilsSig c{@@@!mTcT
module Monad_IO: MonadUtilsSig @@@@TcT
module type Monad_state_type = sig .. end
module Monad_state: 
functor (S : sig
type state 
end-> Monad_state_type @@@@FUGU