Finished porting to state monad