testsuite/tests/typecheck/should_fail/LongWayOverlapping.stderr


1
2
3
4
5
6
7


LongWayOverlapping.hs:22:11: error:
    • 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’