f true xs f isList xs append cons a nil xs isList nil true isList cons x xs isList xs append nil ys ys append cons x xs ys cons x append xs ys f 2 true 0 isList 1 append 2 cons 2 a 0 nil 0 FULL emmes-nonloop-ex6_1.trs