Resumption and Reactive-Resumption Monads for the Haskell programming language.