Nested and mixed lists are an interesting beast. It’s a corner case to make sure that Lists[…]