Re: type synonyms

[Simon L Peyton Jones]

> That's basically newtype with the data constructor omitted (I would
> prefer data to record). Unfortunately, this seems to be incompatible
> with the class system. (There was a long discussion on the Standard
> Haskell discussion list, unfortunately the entry vanished).

No, it just moved over to decisions:

        http://www.cs.chalmers.se/~rjmh/Haskell/Messages/Decisions.cgi

the particular one is this:

http://www.cs.chalmers.se/~rjmh/Haskell/Messages/Decision.cgi?id=443

Simon