Class UniConstraintStreamHelper<A,​B>