Improve error messages around kind mismatches.
[ghc.git] / testsuite / tests / typecheck / should_fail / T3176.stderr
1
2 T3176.hs:9:27:
3     Cannot use record selector ‘unES’ as a function due to escaped type variables
4     Probable fix: use pattern-matching syntax instead
5     In the expression: unES
6     In the second argument of ‘($)’, namely ‘unES $ f t’
7     In the expression: show $ unES $ f t