Oh, you meant that kind of ambiguous type (I thought you meant the (show.read)
kind of ambiguity).
So you'd like -XAllowAmbiguousTypes to be on by default?
On 12/6/2015 2:16 AM, David Feuer wrote:
> I think I didn't explain myself well enough. I'm not talking about expanded
> defaulting, although
I think I didn't explain myself well enough. I'm not talking about expanded
defaulting, although that may be tied up with the same mechanisms. Perhaps
the best thing is just to work on the error message text for certain
ambiguous type situations. Notably, situations where adding a proxy
argument or
