[Haskell-cafe] Flexible instances

[Bulat Ziganshin]

Hello Albert,

Wednesday, October 15, 2008, 7:51:06 AM, you wrote:

>>> Illegal instance declaration for `Stringable [Char]'
>>>         (All instance types must be of the form (T a1 ... an)
>>>          where a1 ... an are distinct type *variables*

> Just in case: n=0 for "instance Eq Blah", i.e., "T a1 ... an" becomes "T".

and [Char] = [] Char, where Char isn't type variable but constant


-- 
Best regards,
 Bulat                            mailto:Bulat.Ziganshin at gmail.com