zipWithIndexRef

TraverseLaws