Functor Deriving_Functor.MonadFunctor

module MonadFunctor: 
functor (M : Deriving_monad.Monad-> Functor  !f°ÀC[bÀC[f@  À
Parameters:
M : Deriving_monad.Monad

type 'a f 
val map : ('a -> 'b) -> 'a f -> 'b f