Use lazy map and zip