ANNOUNCE: GHC 5.03.20020204 snapshot release

Simon Peyton-Jones
Wed, 6 Feb 2002 04:04:52 -0800

| >   - newtypes support deriving *any* class for which the
| >     underlying type is also an instance.
| 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.
| What are they?

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