Bool.Disjunctive
module Medial_Magma : sig ... end
module Semigroup : sig ... end
module Monoid : sig ... end