GHC.LanguageExtensions.Type