voidと決定的に違うのは、ちゃんと型があるけど書かないだけでは？
推論して欲しくない≒型自体に意味があるとき以外は推論してもらわないとハネるな。
ニュートンもラッセルもオッカムも言ってるレベルの話。