I think the examples at the end of the document really show the power of the proposal.

But, there are some aspects that will make code appear more complex or challenging to read. It will certainly make it more challenging for beginners.

Appearance of the code with type switches and issue with the idea of Iterator and doing something two different ways were the only parts that stood out to me besides increased complexity