[Haskell-cafe] How to understand the 'forall' ?

zaxis z_axis at 163.com
Tue Sep 1 22:40:55 EDT 2009

data Branch tok st a = forall b. Branch (PermParser tok st (b -> a))
(GenParser tok st b)

please shed a light on me, thanks!
View this message in context: http://www.nabble.com/How-to-understand-the-%27forall%27---tp25250783p25250783.html
Sent from the Haskell - Haskell-Cafe mailing list archive at Nabble.com.

More information about the Haskell-Cafe mailing list