Agda.Utils.Map

data EitherOrBoth a b

unionWithM

insertWithKeyM

filterKeys