Re: [Haskell-cafe] Existencial quantification and polymorphic datatypes

Do you mean difference between data A a = A a and data B = B a -- leaving out the forall ? On Tue, Jan 20, 2009 at 10:02 AM, Mauricio wrote:

Hi,

I'm trying, without success, to understand the difference between existencial quantification and polymorphic datatypes. Can you give me a hint, or an example where one is valid and the other is not?

Thanks, Maurício

_______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe