Agda.Utils.Monad.Undo
class
MonadUndo
s m
data
UndoT
s m a
runUndoT
mapUndoT
getUndoStateNumber
clearUndoHistory