Give up on attempt to generalize monad to a monad transformer

This reverts commit 30adac990c80ff210f8e59d9c34d86657f40eff2.
This reverts commit 1a766401bd637ec9e4b3bde136f82872caa500e6.
Try to adapt Wouter's Hoare State Monad to support running times