-tcfail033.hs:4: Cannot construct the infinite type (occur check)
- `taIc' = `(taIc, taIf)'
- Expected: `aaIh taIc'
- Inferred: `aaIh (taIc, taIf)'
- In a pattern binding: `buglet = [x | (x, y) <- buglet]'
+tcfail033.hs:4:
+ Occurs check: cannot construct the infinite type: t = (t, _116)
+ Expected type: (t, _116)
+ Inferred type: t
+ In a list-comprehension qualifier: return x
+
Compilation had errors
+