f tt x f isList x Cons x x isList Cons x xs isList xs isList nil tt f 2 tt 0 isList 1 Cons 2 nil 0 FULL enger-nonloop-isList-List.trs