List.add1: narrowed type down to Int