ZipIterator
sorted
zero
Monoid