ANNOUNCE: GHC 5.03.20020204 snapshot release

Ashley Yakeley ashley@semantic.org
Tue, 5 Feb 2002 17:19:21 -0800


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