Parameterized.Control.Monad.Trans.State.Strict

data ManyState m s a

data ChangingState m st a