Re[2]: [Haskell-cafe] Re: Error message reform (was: Strange type error with associated type synonyms)