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. Yup. Thanks Ian