ap
ap
map
f
xs
ap
ap
ap
if
ap
isEmpty
xs
f
xs
ap
ap
ap
if
true
f
xs
null
ap
ap
ap
if
null
f
xs
ap
ap
cons
ap
f
ap
last
xs
ap
ap
if2
f
xs
ap
ap
if2
f
xs
ap
ap
map
f
ap
dropLast
xs
ap
isEmpty
null
true
ap
isEmpty
ap
ap
cons
x
xs
null
ap
last
ap
ap
cons
x
null
x
ap
last
ap
ap
cons
x
ap
ap
cons
y
ys
ap
last
ap
ap
cons
y
ys
ap
dropLast
ap
ap
cons
x
null
null
ap
dropLast
ap
ap
cons
x
ap
ap
cons
y
ys
ap
ap
cons
x
ap
dropLast
ap
ap
cons
y
ys
ap
2
map
0
if
0
isEmpty
0
true
0
null
0
cons
0
last
0
if2
0
dropLast
0
FULL
./TRS/secret05/aprove1.trs