Improve error messages around kind mismatches.
[ghc.git] / testsuite / tests / typecheck / should_fail / T10351.stderr
1
2 T10351.hs:6:1: error:
3     • Non type-variable argument in the constraint: C [a]
4       (Use FlexibleContexts to permit this)
5     • When checking the inferred type
6         f :: forall a. C [a] => a -> ()