Agda.Utils.Map
Monadic map operations
data
EitherOrBoth
a b
unionWithM
insertWithKeyM
Non-monadic map operations
allWithKey
filterKeys
unzip
unzip3