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