Partial evaluation of the viable strikes me as a very elegant idea! That way static dispatch just becomes a special case of virtual dispatch. It also reminds me of devirtualization optimization, and tangentially, how Rust does the opposite thing, by making boxed traits implement the traits, too, which makes dynamic dispatch a special case of static dispatch.