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: > > http://www.cse.unsw.edu.au/~dons/haskell-1990-2000/msg05468.html This is the special case of Twan's translation for a restricted form of method types: functions, tuples and lists.