let y = Cons <  >(0, Nil < int >)