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