module Of_monad: functor (M : Monad.S) -> S with type 'a t := 'a M.t
functor (
M
:
Monad.S
) ->
S
with type 'a t := 'a M.t
let apply mf mx = mf >>= fun f -> mx >>| fun x -> f x