What makes you say that? Traits and type classes don't inherently use either static or dynamic dispatch (Rust and Haskell use both, PureScript uses only dynamic

What makes you say that? Traits and type classes don't inherently use either static or dynamic dispatch (Rust and Haskell use both, PureScript uses only dynamic), and both techniques outlined in the blog can be optimised to static dispatch.