úÎ e ´ Safe-InferredType synonym of  where the underlying  is the  monad.nThe Phantom State Monad Transformer is like the State Monad Transformer, but it does not hold any value.VPerform an applicative action using the current state, leaving the state unchanged.'Modify the state using a pure function.jPerform a phantom state computation by setting an initial state and running all the actions from there.Specialized version of  where the underlying  is the  monad. Phantom state computation Initial state Final resultPhantom state computation Initial state Final result      phantom-state-0.1.0.0Control.Monad.PhantomState PhantomState PhantomStateTuseState changeStaterunPhantomStateTrunPhantomStatebaseGHC.BaseMonadtransformers-0.3.0.0Data.Functor.IdentityIdentity$fMonadTransPhantomStateT$fMonadPhantomStateT$fApplicativePhantomStateT$fFunctorPhantomStateT