@hackage / dependent-state

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