Haskell' - class aliases
simonpj at microsoft.com
Tue May 6 04:55:42 EDT 2008
| 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?
More information about the Haskell-prime