That dynamic dispatch and type erasure are literally the purpose of interfaces?