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 so

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