Use standalone kind signatures instead of complete user-specified kinds in Data.Type.Equality and Data.Typeable