型推論ってのは、型を書かなくてもいいってことじゃなくて、
型の中にパラメトリックな多相があっても、
矛盾のないように型パラメータを具体化して
型の整合性を検証できるということ。

型宣言がめんどくさいから使うんじゃなくて、
より抽象度が高いコードを書くために使うんだよ。

やっぱドカタに静的型付けを使わせるのは壮大なムダでしかないなｗ