Interface QuadConstraintStream<A,​B,​C,​D>