Monads don't help you there, though. Even Haskell doesn't capture the effect of "division by zero".

In the end, type systems (all of them, static as well as dynamic) are just a tradeoff between safety and practicality.