It's good, with limits. There should be escape hatches to allow dynamic behavior when the static type system is too limited. (Consider Swift's "protocol with as

It's good, with limits. There should be escape hatches to allow dynamic behavior when the static type system is too limited. (Consider Swift's "protocol with associated types" nightmare.)