Ceylon の方はオーバーロードにしたら静的に解決できるけどね。