append
nil
X
X
append
cons
Y
V
U
cons
Y
append
V
U
map
I
nil
nil
map
J
cons
X1
Y1
cons
J
X1
map
J
Y1
append
append
U1
V1
W1
append
U1
append
V1
W1
map
J1
append
X2
Y2
append
map
J1
X2
map
J1
Y2
X
b
Y
a
U
b
V
b
I
a
a
J
a
a
X1
a
Y1
b
U1
b
V1
b
W1
b
J1
a
a
X2
b
Y2
b
append
b
b
b
cons
a
b
b
map
a
a
b
b
nil
b
FULL
benchmarks/applicative/Applicative_05__Ex3Lists.atrs