[Haskell-cafe] Existencial quantification and polymorphic datatypes

[Lennart Augustsson]

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 <briqueabraque at yahoo.com> 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 at haskell.org
> http://www.haskell.org/mailman/listinfo/haskell-cafe
>