StateMonad-Impl

Obvious things are pretty obvious.