| | 16 | || AssociatedTypes || False || False || False || False || |
| | 17 | || ClassAliases || False || False || False || False || |
| | 18 | || CoinductiveDictionaries || ? || False || False || False || |
| | 19 | || ContextStack || True || False || False || False || |
| | 20 | || DataKinds || False || False || False || False || |
| | 21 | || DottedHierarchicalModules || False || False || False || True || |
| | 22 | || EmptyDataDecls || True || True || True || True || |
| | 23 | || ExistentialQuantification || True || True || True || False || |
| | 24 | || ExplicitDictionaries || False || False || False || False || |
| | 25 | || ExtensibleRecords || False || False || True || False || |
| | 26 | || FlexibleContexts || True || False || True || ? || |
| | 27 | || FlexibleInstances || True || False || True || ? || |
| | 28 | || ForeignData || False || False || False || True || |
| | 29 | || ForeignFunctionInterface || True || True || True || True || |
| | 30 | || FunctionalDependencies || True || False || True || False || |
| | 31 | || HereDocuments || False || False || True || False || |
| 17 | | || ForeignFunctionInterface || True || True || True || True || |
| | 33 | || ImplicitParams || True || False || True || False || |
| | 34 | || IncoherentInstances || True || False || True || False || |
| | 35 | || InfixTypeConstructors || True || False || False || True || |
| | 36 | || InlinePhase || True || False || False || False || |
| | 37 | || KindAnnotations || True || False || False || True || |
| | 38 | || KindPolymorphism || False || False || False || False || |
| | 39 | || LambdaCase || False || False || False || False || |
| | 40 | || LiberalTypeSynonyms || True || False || False || True || |
| | 41 | || LinearImplicitParams || True || False || False || False || |
| | 42 | || MagicUnderscore || False || False || False || True || |
| | 43 | || MultiParamTypeClasses || True || False || True || False || |
| | 44 | || MultiWayIf || False || False || False || False || |
| | 45 | || NamedFieldPuns || False || True || False || False || |
| | 46 | || NewtypeDeriving || True || False || False || True || |
| | 47 | || NoImplicitPrelude || True || False || False || True || |
| | 48 | || NoMonomorphismRestriction || True || True || False || True || |
| | 49 | || OverlappingInstances || True || False || True || False || |
| | 50 | || ParallelListComp || True || False || True || False || |
| | 51 | || PartialTypeSigs || False || False || False || False || |
| | 52 | || PatternGuards || True || False || False || False || |
| | 53 | || PolymorphicComponents || True || False || True || False || |
| | 54 | || RebindableSyntax || True || False || False || Some || |
| 19 | | || ParallelListComp || True || False || True || False || |
| 20 | | || PatternGuards || True || False || False || False || |
| | 56 | || RecursiveModules || Partial || Partial || False || True || |
| | 57 | || RestrictedTypeSynonyms || False || False || True || False || |
| | 58 | || RewriteRules || True || False || False || Int || |
| | 59 | || ScopedTypeVariables || True || False || True || False || |
| | 60 | || TemplateHaskell || True || False || False || False || |
| | 61 | || TypeSynonymInstances || True || False || True || True || |
| | 62 | || UnboxedTypes || True || False || False || Int || |
| | 63 | || UndecidableInstances || True || False || False || False || |
| 26 | | || ExistentialQuantification || True || True || True || False || |
| 27 | | || NewtypeDeriving || True || False || False || True || |
| 28 | | || ImplicitParams || True || False || True || False || |
| 29 | | || LinearImplicitParams || True || False || False || False || |
| 30 | | || EmptyDataDecls || True || True || True || True || |
| 31 | | || NoMonomorphismRestriction || True || True || False || True || |
| 32 | | || FlexibleContexts || True || False || True || ? || |
| 33 | | || FlexibleInstances || True || False || True || ? || |
| 34 | | || TypeSynonymInstances || True || False || True || True || |
| 35 | | || MultiParamTypeClasses || True || False || True || False || |
| 36 | | || OverlappingInstances || True || False || True || False || |
| 37 | | || IncoherentInstances || True || False || True || False || |
| 38 | | || UndecidableInstances || True || False || False || False || |
| 39 | | || FunctionalDependencies || True || False || True || False || |
| 40 | | || AssociatedTypes || False || False || False || False || |
| 41 | | || [wiki:CPP] || True || True || True || True || |
| 42 | | || TemplateHaskell || True || False || False || False || |
| 43 | | || InlinePhase || True || False || False || False || |
| 44 | | || ContextStack || True || False || False || False || |
| 45 | | || [wiki:Generics] || True || False || False || False || |
| 46 | | || NoImplicitPrelude || True || False || False || True || |
| 47 | | || RebindableSyntax || True || False || False || Some || |
| 48 | | || NamedFieldPuns || False || True || False || False || |
| 49 | | || ExtensibleRecords || False || False || True || False || |
| 50 | | || RestrictedTypeSynonyms || False || False || True || False || |
| 51 | | || HereDocuments || False || False || True || False || |
| 52 | | || [wiki:Assertions] || True || ? || False || True || |
| 53 | | || [wiki:Concurrency] || True || False || Coop || Poor || |
| 54 | | || KindAnnotations || True || False || False || True || |
| 55 | | || [wiki:GADTs] || True || False || False || False || |
| 56 | | || InfixTypeConstructors || True || False || False || True || |
| 57 | | || LiberalTypeSynonyms || True || False || False || True || |
| 58 | | || RecursiveModules || Partial || Partial || False || True || |
| 59 | | || RewriteRules || True || False || False || Int || |
| 60 | | || UnboxedTypes || True || False || False || Int || |
| 61 | | || CoinductiveDictionaries || ? || False || False || False || |
| 62 | | || PartialTypeSigs || False || False || False || False || |
| 63 | | || [wiki:Impredicativity] || ? || False || False || False || |
| 64 | | || ExplicitDictionaries || False || False || False || False || |
| 65 | | || KindPolymorphism || False || False || False || False || |
| 66 | | || DataKinds || False || False || False || False || |
| 67 | | || MagicUnderscore || False || False || False || True || |
| 68 | | || ClassAliases || False || False || False || False || |
| 69 | | || DottedHierarchicalModules || False || False || False || True || |
| 70 | | || ForeignData || False || False || False || True || |
| 71 | | || MultiWayIf || False || False || False || False || |
| 72 | | || LambdaCase || False || False || False || False || |