[nielsbot]

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.)