Execution of ZipWith