Functor Applicative.Of_monad

module Of_monad: 
functor (M : Monad.S) -> S with type 'a t := 'a M.t
Every monad is Applicative via:

      let apply mf mx =
        mf >>= fun f ->
        mx >>| fun x ->
        f x
    

Parameters:
M : Monad.S