ST Monads Ths ST monad allows writing mutable variables in Haskell, this allows having side effects and state. Example hs-concepts STMonadSum