When using sum() to concatenate lists, mypy fails to infer the type argument of "sum", even if types are declared explicitly. `sum([[1],[2],[3]], []` or ``` foo: List[List[int]] = [[1],[2],[3]] sum(foo, []) ``` both give: `error: Cannot infer type argument 1 of "sum"`