duplicate Cons x xs Cons x Cons x duplicate xs duplicate Nil Nil goal x duplicate x duplicate 1 Cons 2 Nil 0 goal 1 INNERMOST