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 E^oEE`@@@@qEE^
module Monad_option: MonadPlus wEEIxEEb@zEEI
module Monad_list: MonadPlus c@@!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@!aS
module MonadPlusUtils_option: MonadPlusUtilsSig @@SOXSOb@Р&ret
module MonadPlusUtils_list: MonadPlusUtilsSig Tc{@@@!mTc
module Monad_IO: MonadUtilsSig c@@@@Tc
module type Monad_state_type = sig .. end
module Monad_state: 
functor (S : sig
type state 
end-> Monad_state_type EU@@@@GU