Bool.Conjunctive
module Apply : sig ... end
module Applicative : sig ... end
module Monad : sig ... end