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