Norman Ramsey n...@cs.tufts.edu wrote in article
20090316154743.12f45104...@lakeland.eecs.harvard.edu in
gmane.comp.lang.haskell.general:
...
In any case, I hope this question is orthogonal to the problem of
permitting a type declaration as a 'decl' in a where clause and not a
mere lonely
[Opening discussion to broader audience: I asked Simon PJ about
scoped type variables and type abbreviations]
| With scoped type variables, it would be useful to be able to define
| a type abbreviation in a where clause, so that the scoped
| type variable could be used on a right-hand side.