[Haskell-cafe] Type system madness

[Andrew Coppin]

OK, can somebody explain to me *really slowly* exactly what the 
difference between an existential type and a rank-N type is?

(I couldn't find much of use on the wiki. I have now in fact written 
some stuff there myself, but since I don't understand it in the first 
place, I'm having difficulty trying to explain it to anybody else...)

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