reinvdwoerd

You're right of course, this is an ongoing exploration. I hope to learn the deeper truths in the process.

From the documentation:

"Maps an old state to a new state inside a state monad. The old state is thrown away."

https://hackage.haskell.org/package/mtl-2.2.1/docs/Control-M...

Good suggestion, I'll look into it.