RE: incorrect type error message

> The reason there's an error message at all is because of the
> monomorphism restriction.  So that's not surprising.
> Can you suggest a better error message?  I'm always looking for ways to
> report errors more informatively.

It may be hard to do, but it would be helpful in cases like this for
the error to mention the fact that the monomorphism restriction has fired.
Connecting the fact that the restriction has been applied and the particular
error may be a challenge. Just a thought.

Bernie.