GHC.LanguageExtensions
data
Extension