minus X 0 X minus s Y s U minus Y U quot 0 s V 0 quot s W s P s quot minus W P s P le 0 X1 true le s Y1 0 false le s U1 s V1 le U1 V1 app nil W1 W1 app add P1 X2 Y2 add P1 app X2 Y2 low U2 nil nil low W2 add V2 P2 if!6220low le V2 W2 W2 add V2 P2 if!6220low true Y3 add X3 U3 add X3 low Y3 U3 if!6220low false W3 add V3 P3 low W3 P3 high X4 nil nil high U4 add Y4 V4 if!6220high le Y4 U4 U4 add Y4 V4 if!6220high true P4 add W4 X5 high P4 X5 if!6220high false U5 add Y5 V5 add Y5 high U5 V5 quicksort nil nil quicksort add W5 P5 app quicksort low W5 P5 add W5 quicksort high W5 P5 map F6 nil nil map Z6 add U6 V6 add Z6 U6 map Z6 V6 filter I6 nil nil filter J6 add X7 Y7 filter2 J6 X7 J6 X7 Y7 filter2 true G7 V7 W7 add V7 filter G7 W7 filter2 false J7 X8 Y8 filter J7 Y8 X b Y b U b V b W b P b X1 b Y1 b U1 b V1 b W1 c P1 b X2 c Y2 c U2 b V2 b W2 b P2 c X3 b Y3 b U3 c V3 b W3 b P3 c X4 b Y4 b U4 b V4 c W4 b P4 b X5 c Y5 b U5 b V5 c W5 b P5 c F6 b b Z6 b b U6 b V6 c I6 b a J6 b a X7 b Y7 c G7 b a V7 b W7 c J7 b a X8 b Y8 c 0 b add b c c app c c c false a filter b a c c filter2 a b a b c c high b c c if!6220high a b c c if!6220low a b c c le b b a low b c c map b b c c minus b b b nil c quicksort c c quot b b b s b b true a FULL benchmarks/applicative/Applicative_first_order_05__#3.55.atrs