Is there any x such that:
x :: List(n) == List(n)
or
x :: List(n, n + 1, n + 2) == List(n, n + 1, n + 2)
I thought Nil
would do this, but it doesn't. It seems to work when I do:
n :: Nil
or
List(n, n + 1, n + 2) :: Nil
but I need it the other way around.