To answer your questions ...
- Is the above view of type synonyms really equivalent to the
Haskell report's definition?
(Above view: consider the type and it's synonym to be distinct but
with implicit bidirectional coercion)
Almost. In some places, synonyms are not allowed. Your sche
You've seen the Happy parser generator I assume?
It's not a full attribute grammer extension, but it's moving in
that direction.
| Would it be possible to design a standard attribute grammar
| extension to Haskell? This could then be added as an appendix to
| the Report, or as a separate ext
