Wildcard type annotations

Philippa Cowderoy flippa at flippac.org
Mon Jan 23 19:45:03 EST 2006

On Mon, 23 Jan 2006, John Meacham wrote:

> note that this is subsumed by my existential type synonyms proposal

Hate to go netcop, but I suspect there's at least one person reading whose 
mailreader doesn't do threads and thus who'll have a fun time working out 
whether you're responding to my first or second post (it's the first, 

> type Any = exists a . a
> so Any is any type.
> at least, I think that works. I didn't get a whole lot of feedback on
> the proposal.

It's on the wiki, right? Will look later.

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