tail :: List a -> List a
tail Nil         = Nil
tail (Cons x xs) = xs