Aha: inline zip eagerly, so we only need the zipWith/unzip rule