Thank you for this, there are a lot of nuggets to pick up from it. I don't know if anyone's still around to comment, but I sure would be interested in seeing some elaboration on the following claim:

"Structural typing drastically reduces the burden of assigning a name to every uninteresting intermediate form but more or less precludes taking advantage of Haskell-style typeclasses or Rust-style traits."