Monad.Make
module M : Monad_intf.S1_base
include Monad_intf.S1_base with type 'a t := 'a M.t
val return : 'a -> 'a M.t
val (>>=) : 'a M.t -> ('a -> 'a M.t) -> 'a M.t
module O : sig ... end