Class SingleConstraint1<A>