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
--
John Meacham - ⑆repetae.net⑆john⑈