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