odd Cons x xs even xs odd Nil False even Cons x xs odd xs notEmpty Cons x xs True notEmpty Nil False even Nil True evenodd x even x odd 1 Cons 2 even 1 Nil 0 False 0 notEmpty 1 True 0 evenodd 1 INNERMOST