Declarations and bindings

Contexts on `data' declarations are ignored:

Not that they do much, anyway... This won't wreck your life. (We still [vaguely] plan to add them, however.)

Location of instance declarations is unchecked:

We don't check that instance declarations occur either in the module where the class is declared or the module where the data type is declared. This shouldn't hurt you. For better or worse, we do check if you try to declare a Prelude instance (Prelude class, Prelude type; e.g., `instance Num Bool') in one of your own modules. For some reason, people like to do this! (But it is not legal Haskell.)

Derived instances of `Text' for infix constructors:

All the carry-on about derived `readsPrec' and `showsPrec' for infix constructors -- we don't do it (yet). We treat them the same way as all other constructors.

Derived instances of `Binary':

We don't. (We don't do anything `Binary'ish.)