The comment points back.
Interesting concept by the way. I don't understand multi dispatch exactly I guess; doesn't it implicitly assume multiple implementations?