splitAt
s
N
cons
X
u
splitAt
N
XS
u
pair
YS
ZS
pair
cons
X
ZS
tail
cons
N
XS
natsFrom
N
cons
N
fst
pair
XS
YS
XS
snd
pair
XS
YS
YS
splitAt
0
XS
pair
nil
XS
head
cons
N
N
sel
N
XS
head
afterNth
N
XS
take
N
XS
fst
splitAt
N
XS
afterNth
N
XS
snd
splitAt
N
XS
splitAt
2
s
1
cons
1
u
1
pair
2
tail
1
natsFrom
1
fst
1
snd
1
0
0
nil
0
head
1
sel
2
afterNth
2
take
2
FULL
./TRS/TRCSR/ExSec4_2_DLMMU04_L.trs