[Haskell-cafe] What does the `forall` mean ?

import Text.ParserCombinators.Parsec data PermParser tok st a = Perm (Maybe a) [Branch tok st a] data Branch tok st a = forall b. Branch (PermParser tok st (b -> a)) (GenParser tok st b) I have hoogled the `forall` but i cannot find any appropriate answer! thanks! ----- fac n = foldr (*) 1 [1..n] -- View this message in context: http://old.nabble.com/What-does-the-%60forall%60-mean---tp26311291p26311291.... Sent from the Haskell - Haskell-Cafe mailing list archive at Nabble.com.