Restricted Data Types

[Taral]

On 2/7/06, John Meacham <john at repetae.net> wrote:
> But this is exactly the behavior you want, you can't very well expect to
> sort without an Ord a instance.

Okay, so maybe that was a bad example. Let's see...

data Eq a => Set a = ...

uniq :: Eq a => [a] -> [a]
uniq = <code using Set>

Now if Set switches to an Ord implementation, I will suddenly have a problem...

--
Taral <taralx at gmail.com>
"Computer science is no more about computers than astronomy is about
telescopes."
    -- Edsger Dijkstra