lookup Cons x' xs' Cons x xs lookup xs' xs lookup Nil Cons x xs x run e p intlookup e p intlookup e p intlookup lookup e p p lookup 2 Cons 2 Nil 0 run 2 intlookup 2 INNERMOST