型系GADTs代数的データ型のもつ型変数に対して、型を限定した型構築子が書ける。xEmptyDataDecls構築子のないデータ型の宣言を書ける。a何も指定しなくても通ったので、デフォルトで有効のよう。TypeFamilies型族やデータ族が書ける。a型クラス系MultiParamTypeClasses型パラメータを複数持つ型クラスが書ける。対して、インスタンス宣言が書ける。idFlexibleInstances型引数を持つ型に、特定の型を与えたものに対して、インスタンス宣言が書ける。NothingFlexibleContexts型パラメータを複数持つ型クラス制約が書ける。束縛時にそのパターンを正格評価する。yPatternGuardsパターンを含むガードが書ける。yこれもデフォルトで有効のよう。