I like the faeatures regarding co- and contravariance. I also like optional parameters.  But do we really need this dynamic stuff? Are there situations you need it (when you understand polymorphism?). Will there be a way to turn this feature off?

Regards,
m