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