Improve error messages around kind mismatches.
[ghc.git] / testsuite / tests / typecheck / should_fail / tcfail169.stderr
1
2 tcfail169.hs:7:51: error:
3     • Could not deduce (Show (Succ a))
4         arising from the second field of ‘Cons’ (type ‘Seq (Succ a)’)
5       from the context: Show a
6         bound by the deriving clause for ‘Show (Seq a)’
7         at tcfail169.hs:7:51-54
8       Possible fix:
9         use a standalone 'deriving instance' declaration,
10           so you can specify the instance context yourself
11     • When deriving the instance for (Show (Seq a))