多相型を予約語一つで実装しながら、オーバーロードも実装したいという話。