Data.Accessor.Monad.Trans.State

accessors in the form of actions in the state monad

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