「實例」的具體類型而不是typeclass？

Question

我定義了一個簡單的列表類型：

data MyList a = End 
       |Entry a (MyList a) 

而不是deriving (Show)我實現明確自己所有MyList a其中a是Show一個實例。

instance Show a => Show (MyList a) 
    where show End = "" 
     show (Entry a l) = (show a) ++","++(show l) 

這工作得很好。現在我想改變這種只有MyList String是Show一個實例，並且這樣做，我寫

instance Show (MyList String) 
    where show End = "" 
     show (Entry a l) = a ++","++(show l) 

，但是這導致的錯誤，我不明白：

Illegal instance declaration for `Show (MyList String)' 
    (All instance types must be of the form (T a1 ... an) 
    where a1 ... an are *distinct type variables*, 
    and each type variable appears at most once in the instance head. 
    Use FlexibleInstances if you want to disable this.) 
In the instance declaration for `Show (MyList String)' 

能

人解釋爲什麼這不起作用，這個錯誤告訴我什麼？

Answer 1

錯誤是告訴你，標準的Haskell不允許這種類型的實例定義。正是因爲它說，

All instance types must be of the form (T a1 ... an) 
where a1 ... an are *distinct type variables*, 
and each type variable appears at most once in the instance head. 

其中一個原因是，如果你離開都的您的實例定義，編譯器將不知道選擇哪一個MyList String，因爲它們都匹配。 （您可能還想看看rules for overlapping instances。）

在實例類型的形式上有這個約束可以保證類型檢查總是會終止的，雖然當然有有效的類型檢查程序，但實例不是這種形式，這就是它的工作原理：Haskell中的一些限制是保守的。

在你的特定情況下，只要做了編譯器的建議（即啓用FlexibleInstances）就可以做到這一點，而且這種擴展在終止方面是安全的。