Restricted Data Types

Taral taralx at
Tue Feb 7 19:45:47 EST 2006

On 2/7/06, John Meacham <john at> 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>
"Computer science is no more about computers than astronomy is about
    -- Edsger Dijkstra

More information about the Haskell-prime mailing list