app
app
twice
f
x
app
f
app
f
x
app
app
map
f
nil
nil
app
app
map
f
app
app
cons
h
t
app
app
cons
app
f
h
app
app
map
f
t
app
app
fmap
nil
x
nil
app
app
fmap
app
app
cons
f
t_f
x
app
app
cons
app
f
x
app
app
fmap
t_f
x
app
2
twice
0
map
0
nil
0
cons
0
fmap
0
t_f
0
FULL
./TRS/higher-order/Lifantsev/Ex8Polymorphic.trs