It’s less verbose than many statically typed languages due to inference. As long as you stay away from high level type extensions like RankNTypes, you can write

It’s less verbose than many statically typed languages due to inference. As long as you stay away from high level type extensions like RankNTypes, you can write whole programs without a single type annotation and still get full type checking.