Add a type-family for key constraints in the generic interface