Deriving for newtypes

Ross Paterson ross at
Tue Apr 4 08:49:59 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.

More information about the Haskell-prime mailing list