tcfail069.hs:21:7:
    Couldn't match expected type `([Int], [Int])'
                with actual type `[t0]'
    In the pattern: []
    In a case alternative: [] -> error "foo"
    In the expression: case (list1, list2) of { [] -> error "foo" }