"Of course, nothing stops me from fixing the Scala example, e.g. by dispatching on something other than type:" . . . .