Agda.Utils.HashMap
mapMaybe
alter