The whole anytype/trait question is just dynamic typing, but at the type level instead of the value level.