Interface TriConstraintStream<A,​B,​C>