give equal rights to types and classes! :)

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


On Wed, 1 Feb 2006, Bulat Ziganshin wrote:

> btw, on the http://haskell.galois.com/trac/haskell-prime/wiki/PartialTypeSigs
> author mean using underscore for "(exists a . a)" types
> 

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

-- 
flippa at flippac.org

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