s/lift/map. s/map/zipWith