type synonyms and monads

[Thomas Harke]

Hi all,

Why is it that type synonyms can't be made class instances?
I suspect there's a good reason, but I can't figure it out.

The reason I ask is that I'm finding that definitions for monads are
obfuscated by the need for constructors and field accessors, whereas if
type synonyms could be instances the code would be much cleared.

-- 
Tom Harke
Dept. of Computing Science
University of Alberta

The older I get, the faster I was