Phantom State Transformer. Like State Monad, but without values.