Deriving for newtypes

Donald Bruce Stewart dons at
Tue Apr 4 09:14:35 EDT 2006

> On Tue, Apr 04, 2006 at 01:49:13PM +0400, Bulat Ziganshin wrote:
> > as i see, it was some form of formal specification for subj:
> > 
> >
> This is the special case of Twan's translation for a restricted form of
> method types: functions, tuples and lists.

Just for the record, Bulat's ptr to:
is now:

after I noticed around 1000 mails had been concatenated in the
htmlisation of the archive, tweaked my tools , and regnenerated the

-- Don

More information about the Haskell-prime mailing list