> 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

> 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.