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