I like dynamic dispatch. Having code which suddenly changes the implementation based on type ascriptions is just not what I want in this case. Apart from that,

I like dynamic dispatch. Having code which suddenly changes the implementation based on type ascriptions is just not what I want in this case. Apart from that, I think collections can be improved considerably even while keeping dynamic dispatch.