module MonadFunctor: functor (M : Deriving_monad.Monad) -> Functor !f°ÀC[bÀC[f@ À
functor (
M
:
Deriving_monad.Monad
) ->
Functor
!f°ÀC[bÀC[f@ À
type 'a f
'a
val map : ('a -> 'b) -> 'a f -> 'b f
('a -> 'b) -> 'a f -> 'b f