Make equality constraints in kinds invisible
[ghc.git] / testsuite / tests / typecheck / should_fail / T12102b.stderr
1
2 T12102b.hs:21:25: error:
3     • Couldn't match expected kind ‘'True’
4                   with actual kind ‘IsTypeLit a0’
5       The type variable ‘a0’ is ambiguous
6     • In the first argument of ‘Show’, namely ‘(T a)’
7       In the stand-alone deriving instance for ‘Show (T a)’