extensions.html

<table class="table-striped">
  <tr class="striped-header">
    <td></td>
    <td>Benign</td>
    <td>Historical</td>
    <td>Extends Syntax</td>
    <td>Use</td>
    <td>Use</td>
    <td>GHC Reference</td>
  </tr>
  <tr>
    <td>AllowAmbiguousTypes</td>
    <td></td>
    <td></td>
    <td></td>
    <td>Specialized</td>
    <td>Typelevel Programming</td>
    <td><a href=
    "http://www.haskell.org/ghc/docs/7.8.4/html/users_guide/other-type-extensions.html#ambiguity">
    Ref</a></td>
  </tr>
  <tr>
    <td>Arrows</td>
    <td></td>
    <td></td>
    <td>✓</td>
    <td>Specialized</td>
    <td>Syntax Extension</td>
    <td><a href=
    "http://www.haskell.org/ghc/docs/7.8.4/html/users_guide/arrow-notation.html">
    Ref</a></td>
  </tr>
  <tr>
    <td>AutoDeriveTypeable</td>
    <td></td>
    <td></td>
    <td></td>
    <td>Specialized</td>
    <td>Metaprogramming</td>
    <td><a href=
    "http://www.haskell.org/ghc/docs/7.8.4/html/users_guide/deriving.html#auto-derive-typeable">
    Ref</a></td>
  </tr>
  <tr>
    <td>BangPatterns</td>
    <td>✓</td>
    <td></td>
    <td>✓</td>
    <td>General</td>
    <td>Strictness Annotation</td>
    <td><a href=
    "http://www.haskell.org/ghc/docs/7.8.4/html/users_guide/bang-patterns.html">
    Ref</a></td>
  </tr>
  <tr>
    <td>CApiFFI</td>
    <td></td>
    <td></td>
    <td></td>
    <td>Specialized</td>
    <td>FFI</td>
    <td><a href=
    "http://www.haskell.org/ghc/docs/7.8.4/html/users_guide/ffi.html#ffi-capi">Ref</a></td>
  </tr>
  <tr>
    <td>ConstrainedClassMethods</td>
    <td></td>
    <td></td>
    <td></td>
    <td>Specialized</td>
    <td>Typelevel Programming</td>
    <td><a href=
    "http://www.haskell.org/ghc/docs/7.8.4/html/users_guide/type-class-extensions.html#class-method-types">
    Ref</a></td>
  </tr>
  <tr>
    <td>ConstraintKinds</td>
    <td></td>
    <td></td>
    <td></td>
    <td>Specialized</td>
    <td>Typelevel Programming</td>
    <td><a href=
    "http://www.haskell.org/ghc/docs/7.8.4/html/users_guide/constraint-kind.html">
    Ref</a></td>
  </tr>
  <tr>
    <td>CPP</td>
    <td>✓</td>
    <td></td>
    <td>✓</td>
    <td>General</td>
    <td>Preprocessor</td>
    <td><a href=
    "http://www.haskell.org/ghc/docs/7.8.4/html/users_guide/options-phases.html#c-pre-processor">
    Ref</a></td>
  </tr>
  <tr>
    <td>DataKinds</td>
    <td></td>
    <td></td>
    <td></td>
    <td>Specialized</td>
    <td>Typelevel Programming</td>
    <td><a href=
    "http://www.haskell.org/ghc/docs/7.8.4/html/users_guide/promotion.html">Ref</a></td>
  </tr>
  <tr>
    <td>DatatypeContexts</td>
    <td></td>
    <td>✓</td>
    <td>✓</td>
    <td>Deprecated</td>
    <td>Deprecated</td>
    <td><a href=
    "http://www.haskell.org/ghc/docs/7.8.4/html/users_guide/data-type-extensions.html#datatype-contexts">
    Ref</a></td>
  </tr>
  <tr>
    <td>DefaultSignatures</td>
    <td>✓</td>
    <td></td>
    <td></td>
    <td>Specialized</td>
    <td>Generic Programming</td>
    <td><a href=
    "http://www.haskell.org/ghc/docs/7.8.4/html/users_guide/type-class-extensions.html#class-default-signatures">
    Ref</a></td>
  </tr>
  <tr>
    <td>DeriveDataTypeable</td>
    <td>✓</td>
    <td></td>
    <td></td>
    <td>General</td>
    <td>Generic Programming</td>
    <td><a href=
    "http://www.haskell.org/ghc/docs/7.8.4/html/users_guide/deriving.html#deriving-typeable">
    Ref</a></td>
  </tr>
  <tr>
    <td>DeriveFoldable</td>
    <td>✓</td>
    <td></td>
    <td></td>
    <td>General</td>
    <td>Generic Programming</td>
    <td><a href=
    "http://www.haskell.org/ghc/docs/7.8.4/html/users_guide/deriving.html#deriving-typeable">
    Ref</a></td>
  </tr>
  <tr>
    <td>DeriveFunctor</td>
    <td>✓</td>
    <td></td>
    <td></td>
    <td>General</td>
    <td>Generic Programming</td>
    <td><a href=
    "http://www.haskell.org/ghc/docs/7.8.4/html/users_guide/deriving.html#deriving-typeable">
    Ref</a></td>
  </tr>
  <tr>
    <td>DeriveGeneric</td>
    <td>✓</td>
    <td></td>
    <td></td>
    <td>General</td>
    <td>Generic Programming</td>
    <td><a href=
    "http://www.haskell.org/ghc/docs/7.8.4/html/users_guide/deriving.html#deriving-typeable">
    Ref</a></td>
  </tr>
  <tr>
    <td>DeriveTraversable</td>
    <td>✓</td>
    <td></td>
    <td></td>
    <td>General</td>
    <td>Generic Programming</td>
    <td><a href=
    "http://www.haskell.org/ghc/docs/7.8.4/html/users_guide/deriving.html#deriving-typeable">
    Ref</a></td>
  </tr>
  <tr>
    <td>DisambiguateRecordFields</td>
    <td>✓</td>
    <td></td>
    <td>✓</td>
    <td>Specialized</td>
    <td>Syntax Extension</td>
    <td><a href=
    "http://www.haskell.org/ghc/docs/7.8.4/html/users_guide/syntax-extns.html#disambiguate-fields">
    Ref</a></td>
  </tr>
  <tr>
    <td>DoRec</td>
    <td></td>
    <td>✓</td>
    <td>✓</td>
    <td>Specialized</td>
    <td>Syntax Extension</td>
    <td><a href=
    "http://www.haskell.org/ghc/docs/7.8.4/html/users_guide/syntax-extns.html#recursive-do-notation">
    Ref</a></td>
  </tr>
  <tr>
    <td>EmptyCase</td>
    <td></td>
    <td></td>
    <td></td>
    <td>Specialized</td>
    <td>Syntax Extension</td>
    <td><a href=
    "http://www.haskell.org/ghc/docs/7.8.4/html/users_guide/syntax-extns.html#empty-case">
    Ref</a></td>
  </tr>
  <tr>
    <td>EmptyDataDecls</td>
    <td>✓</td>
    <td></td>
    <td></td>
    <td>General</td>
    <td>Syntax Extension</td>
    <td><a href=
    "http://www.haskell.org/ghc/docs/7.8.4/html/users_guide/data-type-extensions.html#nullary-types">
    Ref</a></td>
  </tr>
  <tr>
    <td>ExistentialQuantification</td>
    <td></td>
    <td></td>
    <td></td>
    <td>Specialized</td>
    <td>Typelevel Programming</td>
    <td><a href=
    "http://www.haskell.org/ghc/docs/7.8.4/html/users_guide/data-type-extensions.html#existential-quantification">
    Ref</a></td>
  </tr>
  <tr>
    <td>ExplicitForAll</td>
    <td></td>
    <td></td>
    <td>✓</td>
    <td>Specialized</td>
    <td>Typelevel Programming</td>
    <td><a href=
    "http://www.haskell.org/ghc/docs/7.8.4/html/users_guide/other-type-extensions.html#explicit-foralls">
    Ref</a></td>
  </tr>
  <tr>
    <td>ExplicitNamespaces</td>
    <td>✓</td>
    <td></td>
    <td>✓</td>
    <td>Specialized</td>
    <td>Syntax Disambiguation</td>
    <td><a href=
    "http://www.haskell.org/ghc/docs/7.8.4/html/users_guide/syntax-extns.html#explicit-namespaces">
    Ref</a></td>
  </tr>
  <tr>
    <td>ExtendedDefaultRules</td>
    <td>✓</td>
    <td></td>
    <td></td>
    <td>Specialized</td>
    <td>Generic Programming</td>
    <td><a href=
    "http://www.haskell.org/ghc/docs/7.8.4/html/users_guide/interactive-evaluation.html#extended-default-rules">
    Ref</a></td>
  </tr>
  <tr>
    <td>FlexibleContexts</td>
    <td></td>
    <td></td>
    <td></td>
    <td>General</td>
    <td>Typeclass Extension</td>
    <td><a href=
    "http://www.haskell.org/ghc/docs/7.8.4/html/users_guide/other-type-extensions.html#flexible-contexts">
    Ref</a></td>
  </tr>
  <tr>
    <td>FlexibleInstances</td>
    <td></td>
    <td></td>
    <td></td>
    <td>General</td>
    <td>Typeclass Extension</td>
    <td><a href=
    "http://www.haskell.org/ghc/docs/7.8.4/html/users_guide/type-class-extensions.html#instance-rules">
    Ref</a></td>
  </tr>
  <tr>
    <td>ForeignFunctionInterface</td>
    <td></td>
    <td></td>
    <td>✓</td>
    <td>General</td>
    <td>FFI</td>
    <td><a href=
    "http://www.haskell.org/ghc/docs/7.8.4/html/users_guide/ffi.html">Ref</a></td>
  </tr>
  <tr>
    <td>FunctionalDependencies</td>
    <td></td>
    <td></td>
    <td></td>
    <td>General</td>
    <td>Typeclass Extension</td>
    <td><a href=
    "http://www.haskell.org/ghc/docs/7.8.4/html/users_guide/type-class-extensions.html#functional-dependencies">
    Ref</a></td>
  </tr>
  <tr>
    <td>GADTs</td>
    <td></td>
    <td></td>
    <td></td>
    <td>General</td>
    <td>Typelevel Programming</td>
    <td><a href=
    "http://www.haskell.org/ghc/docs/7.8.4/html/users_guide/data-type-extensions.html#gadt">
    Ref</a></td>
  </tr>
  <tr>
    <td>GADTSyntax</td>
    <td></td>
    <td></td>
    <td>✓</td>
    <td>General</td>
    <td>Syntax Extension</td>
    <td><a href=
    "http://www.haskell.org/ghc/docs/7.8.4/html/users_guide/data-type-extensions.html#gadt-style">
    Ref</a></td>
  </tr>
  <tr>
    <td>GeneralizedNewtypeDeriving</td>
    <td></td>
    <td></td>
    <td></td>
    <td>General</td>
    <td>Typeclass Extension</td>
    <td><a href=
    "http://www.haskell.org/ghc/docs/7.8.4/html/users_guide/deriving.html#newtype-deriving">
    Ref</a></td>
  </tr>
  <tr>
    <td>GHCForeignImportPrim</td>
    <td></td>
    <td></td>
    <td></td>
    <td>Specialized</td>
    <td>FFI</td>
    <td><a href=
    "http://www.haskell.org/ghc/docs/7.8.4/html/users_guide/ffi.html#ffi-prim">Ref</a></td>
  </tr>
  <tr>
    <td>ImplicitParams</td>
    <td></td>
    <td></td>
    <td></td>
    <td>Specialized</td>
    <td>Typelevel Programming</td>
    <td><a href=
    "http://www.haskell.org/ghc/docs/7.8.4/html/users_guide/other-type-extensions.html#implicit-parameters">
    Ref</a></td>
  </tr>
  <tr>
    <td>ImpredicativeTypes</td>
    <td></td>
    <td></td>
    <td></td>
    <td>Specialized</td>
    <td>Typelevel Programming</td>
    <td><a href=
    "http://www.haskell.org/ghc/docs/7.8.4/html/users_guide/other-type-extensions.html#impredicative-polymorphism">
    Ref</a></td>
  </tr>
  <tr>
    <td>IncoherentInstances</td>
    <td></td>
    <td></td>
    <td></td>
    <td>Specialized</td>
    <td>Typelevel Programming</td>
    <td><a href=
    "http://www.haskell.org/ghc/docs/7.8.4/html/users_guide/type-class-extensions.html#instance-overlap">
    Ref</a></td>
  </tr>
  <tr>
    <td>InstanceSigs</td>
    <td></td>
    <td></td>
    <td></td>
    <td>Specialized</td>
    <td>Typelevel Programming</td>
    <td><a href=
    "http://www.haskell.org/ghc/docs/7.8.4/html/users_guide/type-class-extensions.html#instance-sigs">
    Ref</a></td>
  </tr>
  <tr>
    <td>InterruptibleFFI</td>
    <td></td>
    <td></td>
    <td></td>
    <td>Specialized</td>
    <td>FFI</td>
    <td><a href=
    "http://www.haskell.org/ghc/docs/7.8.4/html/users_guide/ffi.html#ffi-interruptible">
    Ref</a></td>
  </tr>
  <tr>
    <td>KindSignatures</td>
    <td></td>
    <td></td>
    <td></td>
    <td>Specialized</td>
    <td>Typelevel Programming</td>
    <td><a href=
    "http://www.haskell.org/ghc/docs/7.8.4/html/users_guide/other-type-extensions.html#kinding">
    Ref</a></td>
  </tr>
  <tr>
    <td>LambdaCase</td>
    <td>✓</td>
    <td></td>
    <td>✓</td>
    <td>General</td>
    <td>Syntax Extension</td>
    <td><a href=
    "http://www.haskell.org/ghc/docs/7.8.4/html/users_guide/syntax-extns.html#lambda-case">
    Ref</a></td>
  </tr>
  <tr>
    <td>LiberalTypeSynonyms</td>
    <td></td>
    <td></td>
    <td></td>
    <td>Specialized</td>
    <td>Typeclass Extension</td>
    <td><a href=
    "http://www.haskell.org/ghc/docs/7.8.4/html/users_guide/data-type-extensions.html#type-synonyms">
    Ref</a></td>
  </tr>
  <tr>
    <td>MagicHash</td>
    <td></td>
    <td></td>
    <td></td>
    <td>Specialized</td>
    <td>GHC Internals</td>
    <td><a href=
    "http://www.haskell.org/ghc/docs/7.8.4/html/users_guide/syntax-extns.html#magic-hash">
    Ref</a></td>
  </tr>
  <tr>
    <td>MonadComprehensions</td>
    <td></td>
    <td></td>
    <td>✓</td>
    <td>Specialized</td>
    <td>Syntax Extension</td>
    <td><a href=
    "http://www.haskell.org/ghc/docs/7.8.4/html/users_guide/syntax-extns.html#monad-comprehensions">
    Ref</a></td>
  </tr>
  <tr>
    <td>MonoPatBinds</td>
    <td></td>
    <td></td>
    <td></td>
    <td>Specialized</td>
    <td>Type Disambiguation</td>
    <td><a href=
    "http://www.haskell.org/ghc/docs/7.6.3/html/users_guide/monomorphism.html">Ref</a></td>
  </tr>
  <tr>
    <td>MultiParamTypeClasses</td>
    <td>✓</td>
    <td></td>
    <td></td>
    <td>General</td>
    <td>Typeclass Extension</td>
    <td><a href=
    "http://www.haskell.org/ghc/docs/7.8.4/html/users_guide/type-class-extensions.html#multi-param-type-classes">
    Ref</a></td>
  </tr>
  <tr>
    <td>MultiWayIf</td>
    <td></td>
    <td></td>
    <td>✓</td>
    <td>Specialized</td>
    <td>Syntax Extension</td>
    <td><a href=
    "http://www.haskell.org/ghc/docs/7.8.4/html/users_guide/syntax-extns.html#multi-way-if">
    Ref</a></td>
  </tr>
  <tr>
    <td>NamedFieldPuns</td>
    <td></td>
    <td></td>
    <td>✓</td>
    <td>Specialized</td>
    <td>Syntax Extension</td>
    <td><a href=
    "http://www.haskell.org/ghc/docs/7.8.4/html/users_guide/syntax-extns.html#record-puns">
    Ref</a></td>
  </tr>
  <tr>
    <td>NegativeLiterals</td>
    <td></td>
    <td></td>
    <td></td>
    <td>General</td>
    <td>Type Disambiguation</td>
    <td><a href=
    "http://www.haskell.org/ghc/docs/7.8.4/html/users_guide/syntax-extns.html#negative-literals">
    Ref</a></td>
  </tr>
  <tr>
    <td>NoImplicitPrelude</td>
    <td></td>
    <td></td>
    <td></td>
    <td>Specialized</td>
    <td>Import Disambiguation</td>
    <td><a href=
    "http://www.haskell.org/ghc/docs/7.8.4/html/users_guide/syntax-extns.html#rebindable-syntax">
    Ref</a></td>
  </tr>
  <tr>
    <td>NoMonoLocalBinds</td>
    <td></td>
    <td></td>
    <td></td>
    <td>General</td>
    <td>Type Disambiguation</td>
    <td><a href=
    "http://www.haskell.org/ghc/docs/7.8.4/html/users_guide/other-type-extensions.html#mono-local-binds">
    Ref</a></td>
  </tr>
  <tr>
    <td>NoMonomorphismRestriction</td>
    <td></td>
    <td></td>
    <td></td>
    <td>General</td>
    <td>Type Disambiguation</td>
    <td><a href=
    "http://www.haskell.org/ghc/docs/7.8.4/html/users_guide/other-type-extensions.html#monomorphism">
    Ref</a></td>
  </tr>
  <tr>
    <td>NPlusKPatterns</td>
    <td></td>
    <td>✓</td>
    <td>✓</td>
    <td>Deprecated</td>
    <td>Deprecated</td>
    <td><a href=
    "http://www.haskell.org/ghc/docs/7.8.4/html/users_guide/syntax-extns.html#n-k-patterns">
    Ref</a></td>
  </tr>
  <tr>
    <td>NullaryTypeClasses</td>
    <td></td>
    <td></td>
    <td></td>
    <td>Specialized</td>
    <td>Typeclass Extension</td>
    <td><a href=
    "http://www.haskell.org/ghc/docs/7.8.4/html/users_guide/type-class-extensions.html#nullary-type-classes">
    Ref</a></td>
  </tr>
  <tr>
    <td>NumDecimals</td>
    <td></td>
    <td></td>
    <td></td>
    <td>General</td>
    <td>Type Disambiguation</td>
    <td><a href=
    "http://www.haskell.org/ghc/docs/7.8.4/html/users_guide/syntax-extns.html#num-decimals">
    Ref</a></td>
  </tr>
  <tr>
    <td>OverlappingInstances</td>
    <td></td>
    <td></td>
    <td></td>
    <td>Specialized</td>
    <td>Typeclass Extension</td>
    <td><a href=
    "http://www.haskell.org/ghc/docs/7.8.4/html/users_guide/type-class-extensions.html#instance-overlap">
    Ref</a></td>
  </tr>
  <tr>
    <td>OverloadedLists</td>
    <td></td>
    <td></td>
    <td>✓</td>
    <td>General</td>
    <td>Syntax Extension</td>
    <td><a href=
    "http://www.haskell.org/ghc/docs/7.8.4/html/users_guide/type-class-extensions.html#overloaded-lists">
    Ref</a></td>
  </tr>
  <tr>
    <td>OverloadedStrings</td>
    <td></td>
    <td></td>
    <td></td>
    <td>General</td>
    <td>Syntax Extension</td>
    <td><a href=
    "http://www.haskell.org/ghc/docs/7.8.4/html/users_guide/type-class-extensions.html#overloaded-strings">
    Ref</a></td>
  </tr>
  <tr>
    <td>PackageImports</td>
    <td></td>
    <td></td>
    <td>✓</td>
    <td>General</td>
    <td>Import Disambiguation</td>
    <td><a href=
    "http://www.haskell.org/ghc/docs/7.8.4/html/users_guide/syntax-extns.html#package-imports">
    Ref</a></td>
  </tr>
  <tr>
    <td>ParallelArrays</td>
    <td></td>
    <td></td>
    <td></td>
    <td>Specialized</td>
    <td>Data Parallel Haskell</td>
    <td><a href=
    "http://www.haskell.org/ghc/docs/7.8.4/html/users_guide/lang-parallel.html">
    Ref</a></td>
  </tr>
  <tr>
    <td>ParallelListComp</td>
    <td></td>
    <td></td>
    <td>✓</td>
    <td>General</td>
    <td>Syntax Extension</td>
    <td><a href=
    "http://www.haskell.org/ghc/docs/7.8.4/html/users_guide/syntax-extns.html#parallel-list-comprehensions">
    Ref</a></td>
  </tr>
  <tr>
    <td>PatternGuards</td>
    <td></td>
    <td></td>
    <td>✓</td>
    <td>General</td>
    <td>Syntax Extension</td>
    <td><a href=
    "http://www.haskell.org/ghc/docs/7.8.4/html/users_guide/syntax-extns.html#pattern-guards">
    Ref</a></td>
  </tr>
  <tr>
    <td>PatternSynonyms</td>
    <td>✓</td>
    <td></td>
    <td>✓</td>
    <td>General</td>
    <td>Syntax Extension</td>
    <td><a href=
    "http://www.haskell.org/ghc/docs/7.8.4/html/users_guide/syntax-extns.html#pattern-synonyms">
    Ref</a></td>
  </tr>
  <tr>
    <td>PolyKinds</td>
    <td></td>
    <td></td>
    <td></td>
    <td>Specialized</td>
    <td>Typelevel Programming</td>
    <td><a href=
    "http://www.haskell.org/ghc/docs/7.8.4/html/users_guide/kind-polymorphism.html">
    Ref</a></td>
  </tr>
  <tr>
    <td>PolymorphicComponents</td>
    <td></td>
    <td>✓</td>
    <td></td>
    <td>Specialized</td>
    <td>Deprecated</td>
    <td><a href=
    "http://www.haskell.org/ghc/docs/7.8.4/html/users_guide/other-type-extensions.html#universal-quantification">
    Ref</a></td>
  </tr>
  <tr>
    <td>PostfixOperators</td>
    <td>✓</td>
    <td></td>
    <td>✓</td>
    <td>Specialized</td>
    <td>Syntax Extension</td>
    <td><a href=
    "http://www.haskell.org/ghc/docs/7.8.4/html/users_guide/syntax-extns.html#postfix-operators">
    Ref</a></td>
  </tr>
  <tr>
    <td>QuasiQuotes</td>
    <td></td>
    <td></td>
    <td></td>
    <td>Specialized</td>
    <td>Metaprogramming</td>
    <td><a href=
    "http://www.haskell.org/ghc/docs/7.8.4/html/users_guide/template-haskell.html#th-quasiquotation">
    Ref</a></td>
  </tr>
  <tr>
    <td>Rank2Types</td>
    <td></td>
    <td>✓</td>
    <td></td>
    <td>Specialized</td>
    <td>Historical Artifact</td>
    <td><a href=
    "http://www.haskell.org/ghc/docs/7.8.4/html/users_guide/other-type-extensions.html#universal-quantification">
    Ref</a></td>
  </tr>
  <tr>
    <td>RankNTypes</td>
    <td></td>
    <td></td>
    <td></td>
    <td>Specialized</td>
    <td>Typelevel Programming</td>
    <td><a href=
    "http://www.haskell.org/ghc/docs/7.8.4/html/users_guide/other-type-extensions.html#universal-quantification">
    Ref</a></td>
  </tr>
  <tr>
    <td>RebindableSyntax</td>
    <td></td>
    <td></td>
    <td>✓</td>
    <td>Specialized</td>
    <td>Metaprogramming</td>
    <td><a href=
    "http://www.haskell.org/ghc/docs/7.8.4/html/users_guide/syntax-extns.html#rebindable-syntax">
    Ref</a></td>
  </tr>
  <tr>
    <td>RecordWildCards</td>
    <td>✓</td>
    <td></td>
    <td>✓</td>
    <td>General</td>
    <td>Syntax Extension</td>
    <td><a href=
    "http://www.haskell.org/ghc/docs/7.8.4/html/users_guide/syntax-extns.html#record-wildcards">
    Ref</a></td>
  </tr>
  <tr>
    <td>RecursiveDo</td>
    <td></td>
    <td></td>
    <td></td>
    <td>Specialized</td>
    <td>Syntax Extension</td>
    <td><a href=
    "http://www.haskell.org/ghc/docs/7.8.4/html/users_guide/syntax-extns.html#recursive-do-notation">
    Ref</a></td>
  </tr>
  <tr>
    <td>RelaxedPolyRec</td>
    <td></td>
    <td></td>
    <td></td>
    <td>Specialized</td>
    <td>Type Disambiguation</td>
    <td><a href=
    "http://www.haskell.org/ghc/docs/7.8.4/html/users_guide/other-type-extensions.html#typing-binds">
    Ref</a></td>
  </tr>
  <tr>
    <td>RoleAnnotations</td>
    <td></td>
    <td></td>
    <td></td>
    <td>Specialized</td>
    <td>Type Disambiguation</td>
    <td><a href=
    "http://www.haskell.org/ghc/docs/7.8.4/html/users_guide/roles.html">Ref</a></td>
  </tr>
  <tr>
    <td>Safe</td>
    <td></td>
    <td></td>
    <td></td>
    <td>Specialized</td>
    <td>Security Auditing</td>
    <td><a href=
    "http://www.haskell.org/ghc/docs/7.8.4/html/users_guide/safe-haskell.html">Ref</a></td>
  </tr>
  <tr>
    <td>SafeImports</td>
    <td></td>
    <td></td>
    <td></td>
    <td>Specialized</td>
    <td>Security Auditing</td>
    <td><a href=
    "http://www.haskell.org/ghc/docs/7.8.4/html/users_guide/safe-haskell.html">Ref</a></td>
  </tr>
  <tr>
    <td>ScopedTypeVariables</td>
    <td></td>
    <td></td>
    <td></td>
    <td>Specialized</td>
    <td>Typelevel Programming</td>
    <td><a href=
    "http://www.haskell.org/ghc/docs/7.8.4/html/users_guide/other-type-extensions.html#scoped-type-variables">
    Ref</a></td>
  </tr>
  <tr>
    <td>StandaloneDeriving</td>
    <td>✓</td>
    <td></td>
    <td>✓</td>
    <td>General</td>
    <td>Typeclass Extension</td>
    <td><a href=
    "http://www.haskell.org/ghc/docs/7.8.4/html/users_guide/deriving.html#stand-alone-deriving">
    Ref</a></td>
  </tr>
  <tr>
    <td>TemplateHaskell</td>
    <td>✓</td>
    <td></td>
    <td>✓</td>
    <td>Specialized</td>
    <td>Metaprogramming</td>
    <td><a href=
    "http://www.haskell.org/ghc/docs/7.8.4/html/users_guide/template-haskell.html">
    Ref</a></td>
  </tr>
  <tr>
    <td>TraditionalRecordSyntax</td>
    <td></td>
    <td>✓</td>
    <td>✓</td>
    <td>Specialized</td>
    <td>Historical Artifact</td>
    <td><a href=
    "http://www.haskell.org/ghc/docs/7.8.4/html/users_guide/syntax-extns.html#traditional-record-syntax">
    Ref</a></td>
  </tr>
  <tr>
    <td>TransformListComp</td>
    <td></td>
    <td></td>
    <td>✓</td>
    <td>Specialized</td>
    <td>Syntax Extension</td>
    <td><a href=
    "http://www.haskell.org/ghc/docs/7.8.4/html/users_guide/syntax-extns.html#generalised-list-comprehensions">
    Ref</a></td>
  </tr>
  <tr>
    <td>Trustworthy</td>
    <td></td>
    <td></td>
    <td></td>
    <td>Specialized</td>
    <td>Security Auditing</td>
    <td><a href=
    "http://www.haskell.org/ghc/docs/7.8.4/html/users_guide/safe-haskell.html">Ref</a></td>
  </tr>
  <tr>
    <td>TupleSections</td>
    <td>✓</td>
    <td></td>
    <td></td>
    <td>General</td>
    <td>Syntax Extension</td>
    <td><a href=
    "http://www.haskell.org/ghc/docs/7.8.4/html/users_guide/syntax-extns.html#tuple-sections">
    Ref</a></td>
  </tr>
  <tr>
    <td>TypeFamilies</td>
    <td></td>
    <td></td>
    <td></td>
    <td>Specialized</td>
    <td>Typelevel Programming</td>
    <td><a href=
    "http://www.haskell.org/ghc/docs/7.8.4/html/users_guide/type-families.html">
    Ref</a></td>
  </tr>
  <tr>
    <td>TypeHoles</td>
    <td>✓</td>
    <td></td>
    <td></td>
    <td>General</td>
    <td>Interactive Typing</td>
    <td><a href=
    "http://www.haskell.org/ghc/docs/7.8.4/html/users_guide/typed-holes.html">Ref</a></td>
  </tr>
  <tr>
    <td>TypeOperators</td>
    <td></td>
    <td></td>
    <td></td>
    <td>Specialized</td>
    <td>Typelevel Programming</td>
    <td><a href=
    "http://www.haskell.org/ghc/docs/7.8.4/html/users_guide/data-type-extensions.html#type-operators">
    Ref</a></td>
  </tr>
  <tr>
    <td>TypeSynonymInstances</td>
    <td>✓</td>
    <td></td>
    <td></td>
    <td>General</td>
    <td>Typeclass Extension</td>
    <td><a href=
    "http://www.haskell.org/ghc/docs/7.8.4/html/users_guide/type-class-extensions.html#flexible-instance-head">
    Ref</a></td>
  </tr>
  <tr>
    <td>UnboxedTuples</td>
    <td></td>
    <td></td>
    <td></td>
    <td>Specialized</td>
    <td>FFI</td>
    <td><a href=
    "http://www.haskell.org/ghc/docs/7.8.4/html/users_guide/primitives.html#unboxed-tuples">
    Ref</a></td>
  </tr>
  <tr>
    <td>UndecidableInstances</td>
    <td></td>
    <td></td>
    <td></td>
    <td>Specialized</td>
    <td>Typelevel Programming</td>
    <td><a href=
    "http://www.haskell.org/ghc/docs/7.8.4/html/users_guide/type-class-extensions.html#undecidable-instances">
    Ref</a></td>
  </tr>
  <tr>
    <td>UnicodeSyntax</td>
    <td></td>
    <td></td>
    <td>✓</td>
    <td>Specialized</td>
    <td>Syntax Extension</td>
    <td><a href=
    "http://www.haskell.org/ghc/docs/7.8.4/html/users_guide/syntax-extns.html#unicode-syntax">
    Ref</a></td>
  </tr>
  <tr>
    <td>UnliftedFFITypes</td>
    <td></td>
    <td></td>
    <td></td>
    <td>Specialized</td>
    <td>FFI</td>
    <td><a href=
    "http://www.haskell.org/ghc/docs/7.8.4/html/users_guide/primitives.html">Ref</a></td>
  </tr>
  <tr>
    <td>Unsafe</td>
    <td></td>
    <td></td>
    <td></td>
    <td>Specialized</td>
    <td>Security Auditing</td>
    <td><a href=
    "http://www.haskell.org/ghc/docs/7.8.4/html/users_guide/safe-haskell.html">Ref</a></td>
  </tr>
  <tr>
    <td>ViewPatterns</td>
    <td>✓</td>
    <td></td>
    <td>✓</td>
    <td>General</td>
    <td>Syntax Extension</td>
    <td><a href=
    "http://www.haskell.org/ghc/docs/7.8.4/html/users_guide/syntax-extns.html#view-patterns">
    Ref</a></td>
  </tr>
</table>