sort F Z nil nil sort G H cons W P insert G H sort G H P W insert F1 Z1 nil U1 cons U1 nil insert H1 I1 cons P1 Y2 X2 cons H1 P1 X2 insert H1 I1 Y2 I1 P1 X2 max 0 U2 U2 max V2 0 V2 max s W2 s P2 max W2 P2 min 0 X3 0 min Y3 0 0 min s U3 s V3 min U3 V3 asort W3 sort min max W3 dsort P3 sort max min P3 F a a a Z a a a G a a a H a a a W a P b F1 a a a Z1 a a a U1 a H1 a a a I1 a a a P1 a X2 a Y2 b U2 a V2 a W2 a P2 a X3 a Y3 a U3 a V3 a W3 b P3 b 0 a asort b b cons a b b dsort b b insert a a a a a a b a b max a a a min a a a nil b s a a sort a a a a a a b b FULL benchmarks/applicative/Applicative_05__Ex7Sorting.atrs