At 2002-02-05 06:36, Julian Seward (Intl Vendor) wrote:

- 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 underlying type on more than one parameter: is it possible to specify which parameter the newtype is being derived on?

- Linear implicit parameters: a highly experimental feature.

What are they? -- Ashley Yakeley, Seattle WA