True, but it's the benefit of incremental adaptation of types on an old code based. It also encourages better architecture in my opinion, as it forces you to r

True, but it's the benefit of incremental adaptation of types on an old code based. It also encourages better architecture in my opinion, as it forces you to reduce the importance of something being an exact type... As it's not strictly enforced at runtime.