[effn]

That doesn't work either, since then you will have more than one result. Which one will you dispatch on?

[shasta]

Presumably, you'll have some rules that determine which is the best match and then error if it's ambiguous - just like the static case