GHC.LanguageExtensions.Type

data Extension