Progress on State monad exercises