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 vEEIÀwEEb@°ÀyEEIÀz

module Monad_list: MonadPlus 
‘@À±@À£ �!m°ÀŒFcxÀ�

module IO: sig .. end

module type MonadUtilsSig = sig .. end

module MonadUtils: 
functor (M : Monad) -> MonadUtilsSig 
(@@@°À
¶N



À
·N

module type MonadPlusUtilsSig = sig .. end

module MonadPlusUtils: 
functor (M : MonadPlus) -> MonadPlusUtilsSig 
O

b@  À�!a°À
êS

O

]

module MonadPlusUtils_option: MonadPlusUtilsSig ðS

O

XÀ
ñS

O

b@  �Р&return°À

module MonadPlusUtils_list: MonadPlusUtilsSig c

{@@@À£ �!m°À	T

c

‚À
T

c

module Monad_IO: MonadUtilsSig @@@@°ÀT

c

ÀT

c

module type Monad_state_type = sig .. end

module Monad_state: 
functor (S : sig

type state 

end) -> Monad_state_type 
¤@@@@°ÀDU

„

¢ÀEU

„