Data.Accessor.Monad.Trans.State
accessors in the form of actions in the state monad
set
get
modify
getAndModify
modifyAndGet
(%=)
(%:)
lift a state monadic accessor to an accessor of a parent record
lift
liftT