[Ixiaus]

I think the only languages that are "statically safer" than Haskell are the theorem provers... (agda and coq come to mind)

Disclaimer: I do not have enough PL type theory under my belt to confidently make this argument.