なんで型推論が嫌いなのかというと、型推論を使ったコードを読む時には人間が型推論しなければならないから><https://mstdn.nere9.help/@orange_in_space/101183204624070367
思考の /dev/null