そういえば、関数型言語文化圏の人々って「型を！」「型ありきの発想！！」って言うわりに、「自明なら書かなくてもいいよね」って型推論多用しまくる人が多い気がするのすごく謎かも＞＜