testsuite/tests/typecheck/should_fail/LongWayOverlapping.stderr


1
2
3
4
5
6
7


LongWayOverlapping.hs:23:11:
    No instance for (EmbAsChild [Char] Char)
      arising from a use of ‛emb’
    In the expression: emb 'c'
    In an equation for ‛emb’: emb _ = emb 'c'
    In the instance declaration for ‛EmbAsChild [Char] Bool’