layered-state-1.1.5: Control structure similar to Control.Monad.State, allowing multiple nested states, distinguishable by provided phantom types.
Index