Control.Monad.Trans.Edit
data
EditT
m a
mapEditT