Functor Functor.MonadFunctor


module MonadFunctor: 
functor (M : Monad.Monad) -> Functor with type 'a f = 'a M.m
Parameters:
M : Monad.Monad

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