Agda.Utils.Update
data Change a
class MonadChange m
runChange
type Updater a
sharing
runUpdater
dirty
ifDirty
class Updater1 f
class Updater2 f