Haskell 98

[Simon Peyton-Jones]

| I think the sentence in question (end of 3.15.2) is just a
clarification;
| the preceding 4 rules are sufficient and clear: F{}, S{} and S{x=3D3}
are
| all illegal because they omit a value for a strict field.  That is,
it's
| correct, though not strictly necessary, nor does it cover all the
cases.

Blargh. Excellent point.  I had totally forgotten that.  I withdraw all
suggested changes except a cross-ref to the section you mention.  Sigh.
My brain is getting soft.

Simon