[Haskell-cafe] Type system madness

Andrew Coppin andrewcoppin at btinternet.com
Mon Jul 9 16:05:55 EDT 2007

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...)

More information about the Haskell-Cafe mailing list