Monad.A
module I : sig ... end
val liftA1 : ('a -> 'b) -> 'a M.t -> 'b M.t
val when_ : bool -> unit M.t -> unit M.t
val unless : bool -> unit M.t -> unit M.t