Control.Monad.PhantomState

data PhantomStateT s m a

type PhantomState s a

useState

changeState

runPhantomStateT

runPhantomState