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 S

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

module Monad_IO: MonadUtilsSig 
�@@@@°ÀT

c

ÀT

module type Monad_state_type = sig .. end

module Monad_state: 
functor (S : sig

type state 

end) -> Monad_state_type „

¤@@@@°ÀFU

„

¢ÀGU