Functor Deriving_monad.MonadDefault

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
Parameters:
M : DizĄCDiD@@@@@°ĄEDimĄFDiD@°ĄHDimĄIDiD@  Š $fail°ĄQEEIĄREEb@Ą±@Ą£ &string°Ą[EETĄ\EEZ@@°Ą^EETĄ_EEZ@@@Ą£ !m°ĄfEEaĄgEEb@ Ą!

type +'a m 
val return : 'a -> 'a m
val fail : string -> 'a m
val (>>=) : 'a m ->
('a -> 'b m) -> 'b m
val (>>) : 'a m ->
'b m -> 'b m