Functions.Applicative
A : Interface.APPLICATIVE
module I : sig ... end
val liftA1 : ('a -> 'b) -> 'a A.t -> 'b A.t
val when_ : bool -> unit A.t -> unit A.t
val unless : bool -> unit A.t -> unit A.t