[m-rev.] for review: improve messages for some mode errors

[Zoltan Somogyi]

2020-01-24 14:58 GMT+11:00 Peter Wang<novalazy at gmail.com>:
> Slightly simpler wording?
> 
>     The second argument `Xs' has inst `any',
>     which does not match any of those modes.

Yes, that is better. Later today I will post a diff
that incorporates this change, and adds a warning
about possible arity mismatches between type and inst
when the inst involved contains a higher order inst.
This is not as good as mentioning this only when this
actually is the cause of the inst mismatch, but it is
much easier to implement.

Zoltan.