Haskellなんかも必ず型書くけど、意味あんのかなと思ってしまう
みんな推論させてからコピペするわけでしょ