Module union_zip
math::iter
K is the key type M is the map type that maps keys of type K to values
K
M