Re: Restricted Data Types

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