[mikojan]

This. What's so hard to understand about that?

[alexanderdmitri]

Would I be correct in saying you just encapsulated the monad state type `this` in an identity `that` by creating a monad transformer out of `understand`?