GHC.LanguageExtensions.Type
data
Extension