Domains.D2
Type of domain combinator of arity 2 (e.g products)
module Make (A : Signature.Domain) (B : Signature.Domain) : Signature.Domain