haskellとか「型ありきで考える言語！！」とか言ってる人居るけど、型全然書かないで型推論使われまくってるっぽいし＞＜