mapFnilnilmapZconsUVconsZUmapZVminusW0WminussPsX1minusPX1div0sY10divsU1sV1sdivminusU1V1sV1FaaZaaUaVbWcPcX1cY1cU1cV1c0cconsabbdivcccmapaabbminuscccnilbsccFULLbenchmarks/applicative/Applicative_05__mapDivMinus.atrs