added HList Super Constraint