Pretty lazy comment. There's a reason you still at least annotate the top level in Haskell, Elm, and friends even though the compiler could've inferred it. It'

Pretty lazy comment. There's a reason you still at least annotate the top level in Haskell, Elm, and friends even though the compiler could've inferred it. It's because humans have to read it.