Is this the same as ExistentialQuantification? (And what would an existential in a covariant position look like?)
_______________________________________________ Haskell-prime mailing list [email protected] http://haskell.org/mailman/listinfo/haskell-prime
