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


Compilation had errors