Re: RE: Contexts on data type declarations

[Christian Maeder]

> But what type does the selector 'item' have?  Phil, Mark and Jeff think:
> 
>       item :: Ord a => Tree a -> a

This looks correct to me, too. 

If an order is needed to construct a tree, say a search tree, the very same
order is (or may be) needed to select an item, e.g. by searching! 

Christian