[Haskell-cafe] Strange type error with associated type synonyms

[Max Rabkin]

On Wed, May 27, 2009 at 10:28 PM, Bulat Ziganshin
<bulat.ziganshin at gmail.com> wrote:
> can you recall early times of your work with GHC? i think that these
> words are non-obvious for novices. finally it becomes part of your instincts
> as anything else often used. but it can be learning barrier. overall,
> hard-to-understand error messages was elected as one of 3 most
> important GHC problems in the survey conducted several years ago

I don't remember having any trouble, but that was a few years ago, and
type errors are confusing generally. I think that the main difficulty
with type errors is not the error *messages*, but I'm sure there is
room for improvement.

Do you have any ideas?

--Max