[1, 2, 3, 4] : List(ℕ)
[[1, 2], [3, 4]] : List(List(ℕ))
[[(2, true), (3, false)], [(-5, true)]] : List(List(ℤ × Bool))