Interface BiConstraintBuilder<A,​B>