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⑈ 
_______________________________________________
Haskell-prime mailing list
[EMAIL PROTECTED]
http://haskell.org/mailman/listinfo/haskell-prime

Reply via email to