コードを書く量が減るってことか？

対応してる型が何かが分かるというのは、型ごとに作る場合も一緒だろ？
それは多相型のメリットではない。

型により挙動が変わるコードを書くことができるので便利ということなら
逆に動作が分かりにくいコードを書けることにも繋がるので
邪魔な機能という気がするがなあ。