[[+1, +2, +3], [+1, +2, +3] : List Integer, [] : List Integer]