overlapping instances and constraints

[Bulat Ziganshin]

Hello Claus,

Monday, February 27, 2006, 4:10:00 PM, you wrote:

CR>     class C a where c :: a -> String
CR>     instance C [a]     | a/=Char where c as  = .. -- dealing with most lists
CR>     instance C String                where c s = ..   -- special case for strings

i had plans to propose the same and even more:

instance C2 a b | a/=b

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