Right, AND being able to match on multiple fields and destructure them means that several awkward "which class owns the method" problems never arise in the firs

Right, AND being able to match on multiple fields and destructure them means that several awkward "which class owns the method" problems never arise in the first place. (Multimethods are similar in many ways, though I find pattern matching far more useful.)