Hi,<div><br></div><div>  I&#39;m getting different behavior in ghci and ghc with the identifier ∀.  In ghc I need</div><div>to wrap it with parens, as in </div><div><br></div><div><div><br></div><div>&gt; (∀) :: Var -&gt; Base -&gt; Formula -&gt; Formula</div>
<div>&gt; (∀) = All</div><div><br></div><div>In ghci, I get an error this way</div><div><br></div><div><div>Formula.lhs:112:2:</div><div>    Invalid type signature</div><div><br></div><div>In ghci I can do </div><div><br>
</div><div><div>&gt; ∀ :: Var -&gt; Base -&gt; Formula -&gt; Formula</div><div>&gt; ∀ = All</div><div><br></div><div>fine.  But then ghc complains.  What&#39;s going on here?  </div><div><br></div><div>Thanks!</div><div><br>
</div><div>Sean</div></div></div></div>