[Haskell] Re: scoped type variables

[Chung-chieh Shan]

Norman Ramsey <nr at cs.tufts.edu> wrote in article <20090316154743.12F45104CE6 at 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 'topdecl'.   Is anybody else keen to have this ability?

Yes, and I'd like to say
    "let type ... = ... in"
and/or
    "where type ... = ..."
inside type expressions as well.

-- 
Edit this signature at http://www.digitas.harvard.edu/cgi-bin/ken/sig
Who would have thought LISP would come back to life.
Steve Bourne, in an interview about Bourne Shell.