> Isn't maintainability going to be significantly added by so much being statically checked? Even if people are writing functions that are internally ugly, woul

> Isn't maintainability going to be significantly added by so much being statically checked? Even if people are writing functions that are internally ugly, wouldn't haskell largely enforce that those functions can't really hurt the outside world? Yes and yes (in my experience).