I wrote:
|It would be better if something like:
|
|instance deriving Eq a => Eq (Queue a)
|instance deriving Ord a => Ord (Queue a)
|
|was allowed, which derived the methods _if possible_ but otherwise
|does not restrict the use of the types.
Ralf Hinze pointed out to me that:
> data Queue a = ... deriving (Eq,Ord)
will suffice.
I thought that this would give an error! Looking closer at the
Haskell report, I even find an example that fits this pattern:
> data Pair a b = Pair a b deriving Bounded
D'oh! I'll go crawl into a corner and hide...
Graeme.
