ANNOUNCE: GHC 5.03.20020204 snapshot release

[Simon Peyton-Jones]

| >   - newtypes support deriving *any* class for which the
| >     underlying type is also an instance.
|=20
| How about multi-parameter classes where there are instances for the=20
| underlying type on more than one parameter: is it possible to specify=20
| which parameter the newtype is being derived on?

There's a fairly full description in the manual.=20

| >   - Linear implicit parameters: a highly experimental feature.
|=20
| What are they?

Aha.  That would be telling.  The syntax is %x instead of ?x.

Simon