Hi all! Why doesnt Hugs (Version February 2001, run with -98 option) accept the following? - type A = (forall b. b -> b) -> Int yields: "Syntax error in type expression (unexpected keyword "forall") " - data A = B ((forall b. b -> b) -> Int) yields "Syntax error in type expression (unexpected `->')" whereas ghc accepts both... Tobi