GHC error message on type mismatch

[Daniel Trstenjak]

On Fri, Nov 08, 2013 at 12:01:13AM -0800, Evan Laforge wrote:
> When I write my own typecheck msgs, I always write "Function expected
> X, but received Y."  That's not too far off from expected / actual,
> though at least it has an explicit subject.

That's perfectly fine, because 'Function + expected' is pointing to the
compiler side and additionally 'received' is pointing to the user side.