functor
(
M
:
Monad
.
Monad
)
->
sig
type
'
a f =
'
a
M
.m
val
map : (
'
a
->
'
b)
->
'
a f
->
'
b f
end