weakened constraints on {i}zipWith{N}