As explained in another comment in this thread, multisub dispatch is generally compile-time resolution. (Aiui public multimethod dispatch is, in contrast, always run-time.) There's no need to add explicit types to the call args. Overall the P6 design is in much better shape than you are imagining.

Imo one can usefully view Perl 6 as a compiled language with static nominal typing and pattern matching that judiciously blends in some dynamic options. If that doesn't make sense to you, please check out Jonathan's new slide deck "Beyond dynamic vs static".

Thanks for engaging me; hopefully we'll have some more productive exchanges this year. :)