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