Use liftedTypeKind rather than openTypeKind for introducing Has constraints