为什么ghci要取消类型列表和类型族？这可以选择性地禁用吗？

Question

我试图使ghci为我的库显示的类型尽可能直观，但在使用更高级的类型特性时遇到了很多困难。

假设我在一个文件中有这段代码：

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

import GHC.TypeLits

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

我在ghci中加载它，然后键入以下命令：

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

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

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> :t undefined :: Container LotsOfStrings

undefined :: Container LotsOfStrings

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

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

为什么ghci要替换类型族，而不是类型同义词？有没有办法控制ghci什么时候做替换？

Answer 1

我知道的变通方法是使用：仁慈。例如,

GHCI>:kind(Container'[String,String,String,String,String])

给出：

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