[Haskell-cafe] Re: Re[2]: Eq Type Class: Overloading (==)

[Aaron Denney]

On 2005-09-17, Jason Dagit <dagit at eecs.oregonstate.edu> wrote:
>
> On Sep 17, 2005, at 1:43 AM, Bulat Ziganshin wrote:
>>
>> about making Bool a class - it is the same issue as making
>> head/map/... belonging to some Collection class. we need to change
>> standard Prelude or add to Haskell "supertyping" mechanism, proposed
>> by John Meacham, as i remember
>
> A link to supertyping can be found here:
> http://repetae.net/john/recent/out/supertyping.html
>
> After reading that, I wonder why it's not implemented.

Not enough people calling for it.

> It seems like a wonderfully useful idea.

It is.  It would be terribly useful for those trying to prototype a
new Prelude, and clean up the mathematical structures.

-- 
Aaron Denney
-><-