map
F
nil
nil
map
Z
cons
U
V
cons
Z
U
map
Z
V
minus
W
0
W
minus
s
P
s
X1
minus
p
s
P
p
s
X1
p
s
Y1
Y1
div
0
s
U1
0
div
s
V1
s
W1
s
div
minus
V1
W1
s
W1
F
a
a
Z
a
a
U
a
V
b
W
c
P
c
X1
c
Y1
c
U1
c
V1
c
W1
c
0
c
cons
a
b
b
div
c
c
c
map
a
a
b
b
minus
c
c
c
nil
b
p
c
c
s
c
c
FULL
benchmarks/applicative/Applicative_05__mapDivMinusHard.atrs