Data.Accessor.MonadState

accessors in the form of actions in the state monad

lift a state monadic accessor to an accessor of a parent record