@hackage dependent-state1.0.0

Control structure similar to Control.Monad.State, allowing multiple nested states, distinguishable by provided phantom types.