Agda.Utils.AssocList
type AssocList k v
lookup
keys
insert
update
updateAt
mapWithKey
mapWithKeyM
mapKeysMonotonic