equal0 Nil number42 Nil equal0 Cons x xs equal0 Cons x xs number42 x Cons Nil Cons Nil Cons Nil Cons Nil Cons Nil Cons Nil Cons Nil Cons Nil Cons Nil Cons Nil Cons Nil Cons Nil Cons Nil Cons Nil Cons Nil Cons Nil Cons Nil Cons Nil Cons Nil Cons Nil Cons Nil Cons Nil Cons Nil Cons Nil Cons Nil Cons Nil Cons Nil Cons Nil Cons Nil Cons Nil Cons Nil Cons Nil Cons Nil Cons Nil Cons Nil Cons Nil Cons Nil Cons Nil Cons Nil Cons Nil Cons Nil Cons Nil Nil goal x equal0 x equal0 1 Nil 0 number42 1 Cons 2 goal 1 INNERMOST