Agda.Utils.Bag
data Bag a
null
size
(!)
member
notMember
count
empty
singleton
union
unions
insert
fromList
groups
toList
keys
elems
toAscList
map
traverse'