GHC ドキュメント 8.6.3 の和訳の目次
完全な直訳ではなく，わかりやすさを優先して原文を変えているところがままある．
Language Optionsから翻訳している．
言っている意味がわからんとかほんまかみたいなところはわからんという注釈がついている．
現状翻訳済のところだけ下に書く．
存在量化(和訳)
種多相
軽率多相(Levity Polymorphism)
型レベルリテラル
等価制約，Coercible, 種制約
型族
データ型の昇格
関数従属(和訳)
型クラスとインスタンスの宣言(和訳)
データ型と型シノニムの拡張(和訳)
量化された制約
型シグネチャの拡張
字句的スコープを持つ型変数
束縛と一般化
目に見える型適用
暗黙のパラメータ
任意ランクの多相
非可述多相
型付き穴
部分型シグネチャ
「導出」機構の拡張
追加の型クラスのインスタンス導出 (Data, etc.)
アサート
カスタムコンパイルエラー
実行時へ型エラーを遅らせる
静的ポインタ
翻訳に関わっている人たち(敬称略)
Lugendre
hsjoihs
みょん