Haskell' - class aliases

[Simon Peyton-Jones]

| which leads me to a problem i have with ATs, which applies
| to class aliases as well: although the ATs are written as if they
| were local to the class, they get lifted out of the class in a naive
| manner. in particular, they can only refer to their parameters,
| not to other local definitions/types, and their parameters have
| to match the class parameters.

I'm not sure what you mean here, Claus.  Can you give a concrete example?

Simon