GHC.LanguageExtensions

data Extension