ExplicitForAll complete

Ian Lynagh igloo at earth.li
Fri Dec 24 21:31:36 CET 2010

On Thu, Dec 23, 2010 at 09:46:29AM +0000, Simon Marlow wrote:
> I don't think it's feasible to allow 'case' as a type  
> variable, but it's certainly feasible to allow 'forall' as a term 
> variable.

Why is 'case'-only-in-expression harder than 'forall'-only-in-type?

> On the other hand, it makes life difficult for syntax highlighters.



More information about the Haskell-prime mailing list