I mostly agree, but having the ability to use a dynamic type occasionally can be very useful. I like how objective-c handles it in practice.