!timesX!plusYU!plus!timesXY!timesXU!times!plusWPV!plus!timesVW!timesVP!times!timesX1Y1U1!timesX1!timesY1U1!plus!plusV1W1P1!plusV1!plusW1P1mapF2nilnilmapZ2consU2V2consZ2U2mapZ2V2filterI2nilnilfilterJ2consX3Y3filter2J2X3J2X3Y3filter2trueG3V3W3consV3filterG3W3filter2falseJ3X4Y4filterJ3Y4XaYaUaVaWaPaX1aY1aU1aV1aW1aP1aF2ccZ2ccU2cV2dI2cbJ2cbX3cY3dG3cbV3cW3dJ3cbX4cY4d!plusaaa!timesaaaconscddfalsebfiltercbddfilter2bcbcddmapccddnildtruebFULLbenchmarks/applicative/Applicative_first_order_05__13.atrs