give equal rights to types and classes! :)

Philippa Cowderoy flippa at
Wed Feb 1 19:38:15 EST 2006

On Wed, 1 Feb 2006, Bulat Ziganshin wrote:

> btw, on the
> author mean using underscore for "(exists a . a)" types

No I don't, for a number of technical reasons.

flippa at

There is no magic bullet. There are, however, plenty of bullets that 
magically home in on feet when not used in exactly the right circumstances.

More information about the Haskell-prime mailing list