Enhancement Constraint for typed lists