append
nil
U
U
append
cons
X
Y
U
cons
X
append
Y
U
reverse
nil
nil
shuffle
nil
nil
shuffle
cons
X
Y
cons
X
shuffle
reverse
Y
mirror
nil
nil
mirror
cons
X
Y
append
cons
X
mirror
Y
cons
X
nil
map
H
nil
nil
map
H
cons
X
Y
cons
H
X
map
H
Y
X
nat
Y
list
U
list
H
nat
nat
append
list
list
list
cons
nat
list
list
map
nat
nat
list
list
mirror
list
list
nil
list
reverse
list
list
shuffle
list
list
FULL
benchmarks/mine/mirror.afs