I understand the mutable variable problem you’re talking about, but I don’t see any cast in your example, are you talking about type inference ?
I do agree that parametric types need more involving though, it would be great to be able to start on building generic libraries for sure.