Haskell shows (one way of) how you can have numerical literals like 2 that can be used with many different types, but still be strongly statically typed.

That by itself isn't a problem. But making all the other confusions you mention is a problem.