I always thought of multimethods as something that dispatches based on both static (where available) and dynamic type information. But you may be right that PL

I always thought of multimethods as something that dispatches based on both static (where available) and dynamic type information. But you may be right that PL researchers don't see it that way.