Agda.Utils.Map

data EitherOrBoth a b

unionWithM

insertWithKeyM

filterKeys

unzip

unzip3