Beginnings of new-style: use Serialize monad, and lots less State monad