確かに、型が2種類と少ないから型が違うバージョンを作るというのは無茶な話では無いんですよね。 DEFで引数は厳密な型チェックを行っていないって説明書に書いてあったから、ちょっと惜しいな〜って思いまして。