Simon Peyton-Jones <[EMAIL PROTECTED]> writes
> Interesting! Phil, Mark, and Jeff all have a different interpretation of
> how contexts on how data type declarations work than I did. So unless
> some other people chime in, I will therefore adopt their interpretation,
> since (a) I'm in the minority and (b) it's not a big deal at all.
> [..]
> data Ord a => Tree a = MkTree {
> item :: a,
> kids :: [Tree a]
> }
> [..]
To my mind, `data' does not need context. It can be set as a commentary.
The contexts in the instances do all the business.
------------------
Sergey Mechveliani
[EMAIL PROTECTED]
