> Because static typing could be easily left as an optional choice throughout the code base

Could it? It is necessary if you use things such as typeclasses for example. Nevertheless, at least haskell has the ability to ignore type errors.