Agda.Utils.Map
data
EitherOrBoth
a b
unionWithM
insertWithKeyM
filterKeys