tcfail033.hs:4: Cannot construct the infinite type (occur check)
		    `t{-aKn-}' = `(t{-aKn-}, t{-aKq-})'
    Expected: `a{-aKs-} (t{-aKn-}, t{-aKq-})'
    Inferred: `a{-aKs-} t{-aKn-}'
    In a pattern binding:
	`buglet'
	    =   `[ x |
		     (x, y) <- buglet ]'


Compilation had errors