ghciがタイプリストとタイプファミリーを廃止するのはなぜですか？これを選択的に無効にできますか？

私のライブラリでghciが表示するタイプをできるだけ直感的にしようとしていますが、より高度なタイプ機能を使用すると、多くの困難に直面しています。

このコードがファイルにあるとしましょう：

{-# LANGUAGE TypeFamilies #-}
{-# LANGUAGE DataKinds #-}
{-# LANGUAGE TypeOperators #-}

import GHC.TypeLits

data Container (xs::[*]) = Container

それをghciにロードしてから、次のコマンドを入力します。

ghci> :t undefined :: Container '[String,String,String,String,String]

残念ながら、ghciは私にかなり醜い見た目を与えます：

:: Container
       ((':)
          *
          String
          ((':)
             * String ((':) * String ((':) * String ((':) * String ('[] *))))))

ghciは型レベル文字列の砂糖を削除しました。ghciがこれをして、私にきれいなバージョンを与えるのを防ぐ方法はありますか？

関連するメモとして、タイプレベルのReplicate関数を作成するとします。

data Nat1 = Zero | Succ Nat1

type family Replicate (n::Nat1) x :: [*]
type instance Replicate Zero x = '[]
type instance Replicate (Succ n) x = x ': (Replicate n x)

type LotsOfStrings = Replicate (Succ (Succ (Succ (Succ (Succ Zero))))) String

今、私が使用するタイプをghciに尋ねるとLotsOfStrings：

ghci> :t undefined :: Container LotsOfStrings

ghciは素晴らしく、かなりの結果が得られます。

undefined :: Container LotsOfStrings

しかし、Replicatedバージョンを要求すると、

ghci> :t undefined :: Container (Replicate (Succ (Succ (Succ (Succ (Succ Zero))))) String)

型の同義語の代わりにghciが型ファミリーを置き換えます：

:: Container
       ((':)
          *
          [Char]
          ((':)
             * [Char] ((':) * [Char] ((':) * [Char] ((':) * [Char] ('[] *))))))

ghciが型の同義語ではなく型ファミリーの代わりをしているのはなぜですか？ghciが置換を行うタイミングを制御する方法はありますか？

私が知っている回避策は：kindを使用することです。例えば、

ghci>：kind（コンテナ '[文字列、文字列、文字列、文字列、文字列]）

与える：

（コンテナ '[文字列、文字列、文字列、文字列、文字列]）:: *

ながら

ghci>：kind！（コンテナ '[文字列、文字列、文字列、文字列、文字列]）

このようなものを印刷します：

コンテナ

（（ ':)

  *
  [Char]
  ((':)
     * [Char] ((':) * [Char] ((':) * [Char] ((':) * [Char] ('[] *))))))

もちろん、公式にでghciに別の質問をしkindていますが、これは機能します。undefined ::とにかく使うのが回避策なので、これで十分かもしれないと思いました。

これは、今後のGHC 7.8で修正されています。

GHC 7.6は、データ型がPolyKindsを使用する場合、種類を出力します。だからあなた(':) * String ('[] *)はただの代わりに見る(':) String '[]。

GHC 7.8では、デフォルトでは種類は表示されなくなり、予想どおり、データ型はリストとしてかなり出力されます。新しいフラグ-fprint-explicit-kindsを使用して、GHC 7.6のように明示的な種類を表示できます。この理由はわかりませんが、おそらく明示的な種類がPolyKindsの理解を助けるためのものでした。

import GHC.TypeLits

data Container (xs::[*]) = Container

それをghciにロードしてから、次のコマンドを入力します。

:t undefined :: Container '[String,String,String,String,String]