le 0 X true le s Y 0 false le s U s V le U V eq 0 0 true eq 0 s W false eq s P 0 false eq s X1 s Y1 eq X1 Y1 if true U1 V1 U1 if false W1 P1 P1 minsort nil nil minsort cons X2 Y2 cons min X2 Y2 minsort del min X2 Y2 cons X2 Y2 min U2 nil U2 min V2 cons W2 P2 if le V2 W2 min V2 P2 min W2 P2 del X3 nil nil del Y3 cons U3 V3 if eq Y3 U3 V3 cons U3 del Y3 V3 map I3 nil nil map J3 cons X4 Y4 cons J3 X4 map J3 Y4 filter G4 nil nil filter H4 cons W4 P4 filter2 H4 W4 H4 W4 P4 filter2 true F5 Y5 U5 cons Y5 filter F5 U5 filter2 false H5 W5 P5 filter H5 P5 X b Y b U b V b W b P b X1 b Y1 b U1 b V1 b W1 b P1 b X2 b Y2 b U2 b V2 b W2 b P2 b X3 b Y3 b U3 b V3 b I3 b b J3 b b X4 b Y4 b G4 b a H4 b a W4 b P4 b F5 b a Y5 b U5 b H5 b a W5 b P5 b 0 b cons b b b del b b b eq b b a false a filter b a b b filter2 a b a b b b if a b b b le b b a map b b b b min b b b minsort b b nil b s b b true a FULL benchmarks/applicative/Applicative_first_order_05__minsort.atrs