Interface BiConstraintStream<A,​B>