Does anyone have any opinions on this topic? It's a small point, but one that bites quite frequently. It might even be possible to arrange that 'forall' and 'exists' were only keywords in types, and not in terms, but I'm not sure it's worth the bother.

'forall' is already a special keyword that only applies inside types, in both Hugs and GHC. Cheers, Simon