Re[2]: give equal rights to types and classes! :)

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@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.