tcfail069.hs:21: Couldn't match the type `(aBr, aBt)' against `[aBw]' Expected: [aBw] Inferred: ([Int], [Int]) In a "case" branch: [] -> error "foo" In the case expression: case (list1, (list2)) of [] -> error "foo" Compilation had errors