Hello Philippa, Thursday, February 02, 2006, 3:38:15 AM, you wrote:
>> btw, on the http://haskell.galois.com/trac/haskell-prime/wiki/PartialTypeSigs >> author mean using underscore for "(exists a . a)" types >> PC> No I don't, for a number of technical reasons. are you sure? this "_" means "any type that compiler will find appropriate". is it not the same as "exists a . a" ? -- Best regards, Bulat mailto:[EMAIL PROTECTED] _______________________________________________ Haskell-prime mailing list Haskell-prime@haskell.org http://haskell.org/mailman/listinfo/haskell-prime