| > - 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? There's a fairly full description in the manual. | > - Linear implicit parameters: a highly experimental feature. | | What are they? Aha. That would be telling. The syntax is %x instead of ?x. Simon