tcfail033.hs:4:
    Occurs check: cannot construct the infinite type: aM8 = (aM8, aMb)
    Expected: aMc (aM8, aMb)
    Inferred: aMc aM8
    In a pattern binding: buglet = [x | (x, y) <- buglet]


Compilation had errors