Done some of StateT
Done more of StateT