Wildcard type annotations

John Meacham john at repetae.net
Mon Jan 23 19:36:07 EST 2006

note that this is subsumed by my existential type synonyms proposal

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.

John Meacham - ⑆repetae.net⑆john⑈ 

More information about the Haskell-prime mailing list