overlapping instances and constraints

Bulat Ziganshin bulat.ziganshin at gmail.com
Tue Feb 28 08:11:19 EST 2006

Hello Claus,

Tuesday, February 28, 2006, 1:54:25 PM, you wrote:

CR>     class NEq a b
CR>     instance Fail a => NEq a a
CR>     instance NEq a b

i think that this definition just use ad-hoc overlapping instances
resolution mechanism that we want to avoid :)))

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

More information about the Haskell-prime mailing list