[Haskell-cafe] what is a difference between existential quantification and polymorhic field?

Bulat Ziganshin bulat.ziganshin at gmail.com
Thu Sep 21 04:05:23 EDT 2006

Hello haskell-cafe,

now i'm reading Haskell' proposals and found that these two things
considered as different:


can you please explain me what is the difference between

data Ex = forall a. Num a =>  Ex a


data Po = Po (forall a. Num a => a)


Best regards,
 Bulat                          mailto:Bulat.Ziganshin at gmail.com

More information about the Haskell-Cafe mailing list