On the right track for making the Handler monad based on State.