Add StateT