unzipWith package:Agda

Like unzipWith.