Hello John,
Thursday, February 02, 2006, 6:03:06 AM, you wrote:
Unfortunately, local instance declarations threaten the coherence
property of type classes and principle types. See for example,
``Functional pearl: implicit configurations—or, type classes reflect the
values of types'', Sect
Hello Johannes,
Friday, January 27, 2006, 1:00:42 PM, you wrote:
JW let instance Ord Item where ...
JW xs :: [ Item ] ; xs = ...
JW in sort xs
are you familiar with generic haskell? one of its features is the
local definitions of the special cases for generic functions, what is
close to