immatcopy Cons x xs Cons Nil immatcopy xs nestimeql Nil number42 Nil nestimeql Cons x xs nestimeql immatcopy Cons x xs immatcopy Nil Nil 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 nestimeql x immatcopy 1 Cons 2 Nil 0 nestimeql 1 number42 1 goal 1 INNERMOST