[Haskell-cafe] ∀ lexing in ghc and ghci

Hi, I'm getting different behavior in ghci and ghc with the identifier ∀. In ghc I need to wrap it with parens, as in

(∀) :: Var -> Base -> Formula -> Formula (∀) = All

In ghci, I get an error this way Formula.lhs:112:2: Invalid type signature In ghci I can do

∀ :: Var -> Base -> Formula -> Formula ∀ = All

fine. But then ghc complains. What's going on here? Thanks! Sean