Language.Haskell.TH.LanguageExtensions

type Rep Extension = D1 ('MetaData "Extension" "GHC.LanguageExtensions.Type" "ghc-boot-th-8.10.2" 'False) ((((((C1 ('MetaCons "Cpp" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "OverlappingInstances" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "UndecidableInstances" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "IncoherentInstances" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "UndecidableSuperClasses" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "MonomorphismRestriction" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "MonoPatBinds" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "MonoLocalBinds" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "RelaxedPolyRec" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "ExtendedDefaultRules" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "ForeignFunctionInterface" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "UnliftedFFITypes" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "InterruptibleFFI" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "CApiFFI" 'PrefixI 'False) (U1 :: Type -> Type))))) :+: (((C1 ('MetaCons "GHCForeignImportPrim" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "JavaScriptFFI" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "ParallelArrays" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "Arrows" 'PrefixI 'False) (

U1 :: Тип -> Тип) :+: C1 ('MetaCons "TemplateHaskell" 'PrefixI 'Ложь) (U1 :: Тип -> Тип)) :+: (C1 ('MetaCons "TemplateHaskellQuotes" 'PrefixI 'Ложь) (U1 :: Тип -> Тип)) :+: C1 ('MetaCons "QuasiQuotes" 'PrefixI 'Ложь) (U1 :: Тип -> Тип)))) :+: (((C1 ('MetaCons "ImplicitParams" 'PrefixI 'Ложь) (U1 :: Тип -> Тип) :+: C1 ('MetaCons "ImplicitPrelude" 'PrefixI 'Ложь) (U1 :: Тип -> Тип)) :+: (C1 ('MetaCons "ScopedTypeVariables" 'PrefixI 'Ложь) (U1 :: Тип -> Тип) :+: C1 ('MetaCons "AllowAmbiguousTypes" 'PrefixI 'Ложь) (U1 :: Тип -> Тип))) :+: ((C1 ('MetaCons "UnboxedTuples" 'PrefixI 'Ложь) (U1 :: Тип -> Тип) :+: C1 ('MetaCons "UnboxedSums" 'PrefixI 'Ложь) (U1 :: Тип -> Тип)) :+: (C1 ('MetaCons "UnliftedNewtypes" 'PrefixI 'Ложь) (U1 :: Тип -> Тип) :+: C1 ('MetaCons "BangPatterns" 'PrefixI 'Ложь) (U1 :: Тип -> Тип)))))) :+: ((((C1 ('MetaCons "TypeFamilies" 'PrefixI 'Ложь) (U1 :: Тип -> Тип) :+: (C1 ('MetaCons "TypeFamilyDependencies" 'PrefixI 'Ложь) (U1 :: Тип -> Тип) :+: C1 ('MetaCons "TypeInType" 'PrefixI 'Ложь) (U1 :: Тип -> Тип))) :+: ((C1 ('MetaCons "OverloadedStrings" 'PrefixI 'Ложь) (U1 :: Тип -> Тип) :+: C1 ('MetaCons "OverloadedLists" 'PrefixI 'Ложь) (U1 :: Тип -> Тип)) :+: (C1 ('MetaCons "NumDecimals" 'PrefixI 'Ложь) (U1 :: Тип -> Тип) :+: C1 ('MetaCons "DisambiguateRecordFields" 'PrefixI 'Ложь) (U1 :: Тип -> Тип))))))

:+: (((C1 ('MetaCons "RecordWildCards" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "RecordPuns" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "ViewPatterns" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "GADTs" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "GADTSyntax" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "NPlusKPatterns" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "DoAndIfThenElse" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "BlockArguments" 'PrefixI 'False) (U1 :: Type -> Type))))) :+: (((C1 ('MetaCons "RebindableSyntax" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "ConstraintKinds" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "PolyKinds" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "DataKinds" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "InstanceSigs" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "ApplicativeDo" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "StandaloneDeriving" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: (((C1 ('MetaCons "DeriveDataTypeable" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "AutoDeriveTypeable" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "DeriveFunctor" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "DeriveTraversable" '))

PrefixI 'False) (U1 :: Тип -> Тип))) :+: ((C1 ('MetaCons "DeriveFoldable" 'PrefixI 'False) (U1 :: Тип -> Тип) :+: C1 ('MetaCons "DeriveGeneric" 'PrefixI 'False) (U1 :: Тип -> Тип)) :+: (C1 ('MetaCons "DefaultSignatures" 'PrefixI 'False) (U1 :: Тип -> Тип) :+: C1 ('MetaCons "DeriveAnyClass" 'PrefixI 'False) (U1 :: Тип -> Тип))))))) :+: (((((C1 ('MetaCons "DeriveLift" 'PrefixI 'False) (U1 :: Тип -> Тип) :+: (C1 ('MetaCons "DerivingStrategies" 'PrefixI 'False) (U1 :: Тип -> Тип) :+: C1 ('MetaCons "DerivingVia" 'PrefixI 'False) (U1 :: Тип -> Тип))) :+: ((C1 ('MetaCons "TypeSynonymInstances" 'PrefixI 'False) (U1 :: Тип -> Тип) :+: C1 ('MetaCons "FlexibleContexts" 'PrefixI 'False) (U1 :: Тип -> Тип)) :+: (C1 ('MetaCons "FlexibleInstances" 'PrefixI 'False) (U1 :: Тип -> Тип) :+: C1 ('MetaCons "ConstrainedClassMethods" 'PrefixI 'False) (U1 :: Тип -> Тип)))) :+: (((C1 ('MetaCons "MultiParamTypeClasses" 'PrefixI 'False) (U1 :: Тип -> Тип) :+: C1 ('MetaCons "NullaryTypeClasses" 'PrefixI 'False) (U1 :: Тип -> Тип)) :+: (C1 ('MetaCons "FunctionalDependencies" 'PrefixI 'False) (U1 :: Тип -> Тип) :+: C1 ('MetaCons "UnicodeSyntax" 'PrefixI 'False) (U1 :: Тип -> Тип))) :+: ((C1 ('MetaCons "ExistentialQuantification" 'PrefixI 'False) (U1 :: Тип -> Тип) :+: C1 ('MetaCons "MagicHash" 'PrefixI 'False) (U1 :: Тип -> Тип)) :+: (C1 ('MetaCons "EmptyDataDecls" 'PrefixI 'False) (

U1 :: Тип -> Тип) :+: C1 ('MetaCons "KindSignatures" 'PrefixI 'Ложь) (U1 :: Тип -> Тип))))) :+: (((C1 ('MetaCons "RoleAnnotations" 'PrefixI 'Ложь) (U1 :: Тип -> Тип) :+: (C1 ('MetaCons "ParallelListComp" 'PrefixI 'Ложь) (U1 :: Тип -> Тип) :+: C1 ('MetaCons "TransformListComp" 'PrefixI 'Ложь) (U1 :: Тип -> Тип))) :+: ((C1 ('MetaCons "MonadComprehensions" 'PrefixI 'Ложь) (U1 :: Тип -> Тип) :+: C1 ('MetaCons "GeneralizedNewtypeDeriving" 'PrefixI 'Ложь) (U1 :: Тип -> Тип)) :+: (C1 ('MetaCons "RecursiveDo" 'PrefixI 'Ложь) (U1 :: Тип -> Тип) :+: C1 ('MetaCons "PostfixOperators" 'PrefixI 'Ложь) (U1 :: Тип -> Тип)))) :+: (((C1 ('MetaCons "TupleSections" 'PrefixI 'Ложь) (U1 :: Тип -> Тип) :+: C1 ('MetaCons "PatternGuards" 'PrefixI 'Ложь) (U1 :: Тип -> Тип)) :+: (C1 ('MetaCons "LiberalTypeSynonyms" 'PrefixI 'Ложь) (U1 :: Тип -> Тип) :+: C1 ('MetaCons "RankNTypes" 'PrefixI 'Ложь) (U1 :: Тип -> Тип))) :+: ((C1 ('MetaCons "ImpredicativeTypes" 'PrefixI 'Ложь) (U1 :: Тип -> Тип) :+: C1 ('MetaCons "TypeOperators" 'PrefixI 'Ложь) (U1 :: Тип -> Тип)) :+: (C1 ('MetaCons "ExplicitNamespaces" 'PrefixI 'Ложь) (U1 :: Тип -> Тип) :+: C1 ('MetaCons "PackageImports" 'PrefixI 'Ложь) (U1 :: Тип -> Тип)))))) :+: ((((C1 ('MetaCons "ExplicitForAll" 'PrefixI 'Ложь) (U1 :: Тип -> Тип) :+: (C1 ('MetaCons "AlternativeLayoutRule" 'PrefixI 'Ложь) (U1 :: Тип ->

Тип) :+: C1 ('MetaCons "AlternativeLayoutRuleTransitional" 'PrefixI 'Ложь) (U1 :: Тип -> Тип))) :+: ((C1 ('MetaCons "DatatypeContexts" 'PrefixI 'Ложь) (U1 :: Тип -> Тип) :+: C1 ('MetaCons "NondecreasingIndentation" 'PrefixI 'Ложь) (U1 :: Тип -> Тип)) :+: (C1 ('MetaCons "RelaxedLayout" 'PrefixI 'Ложь) (U1 :: Тип -> Тип) :+: C1 ('MetaCons "TraditionalRecordSyntax" 'PrefixI 'Ложь) (U1 :: Тип -> Тип)))) :+: (((C1 ('MetaCons "LambdaCase" 'PrefixI 'Ложь) (U1 :: Тип -> Тип) :+: C1 ('MetaCons "MultiWayIf" 'PrefixI 'Ложь) (U1 :: Тип -> Тип)) :+: (C1 ('MetaCons "BinaryLiterals" 'PrefixI 'Ложь) (U1 :: Тип -> Тип) :+: C1 ('MetaCons "NegativeLiterals" 'PrefixI 'Ложь) (U1 :: Тип -> Тип))) :+: ((C1 ('MetaCons "HexFloatLiterals" 'PrefixI 'Ложь) (U1 :: Тип -> Тип) :+: C1 ('MetaCons "DuplicateRecordFields" 'PrefixI 'Ложь) (U1 :: Тип -> Тип)) :+: (C1 ('MetaCons "OverloadedLabels" 'PrefixI 'Ложь) (U1 :: Тип -> Тип) :+: C1 ('MetaCons "EmptyCase" 'PrefixI 'Ложь) (U1 :: Тип -> Тип))))) :+: (((C1 ('MetaCons "PatternSynonyms" 'PrefixI 'Ложь) (U1 :: Тип -> Тип) :+: (C1 ('MetaCons "PartialTypeSignatures" 'PrefixI 'Ложь) (U1 :: Тип -> Тип) :+: C1 ('MetaCons "NamedWildCards" 'PrefixI 'Ложь) (U1 :: Тип -> Тип))) :+: ((C1 ('MetaCons "StaticPointers" 'PrefixI 'Ложь) (U1 :: Тип -> Тип) :+: C1 ('MetaCons "TypeApplications" 'PrefixI 'Ложь) (U1 :: Тип -> Тип)) :+: (

C1 ('MetaCons "Strict" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "StrictData" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: (((C1 ('MetaCons "MonadFailDesugaring" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "EmptyDataDeriving" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "NumericUnderscores" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "QuantifiedConstraints" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "StarIsType" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "ImportQualifiedPost" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "CUSKs" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "StandaloneKindSignatures" 'PrefixI 'False) (U1 :: Type -> Type))))))))