もしかして式一つずつに型注釈入れるとでも思ってるのかね
そんなのJavaですらやらんよ？

HaskellやScalaは少なくとも各モジュールのトップレベルの関数には型注釈つけるし、つけないと効率悪くなる
コンパイル遅くなりやすいし、推論に頼りすぎるとエラー時に問題箇所が曖昧になるから