Use RWST instead of StateT.