main(x,y) = snoc(x,y)

snoc(Cons(a,x),b) = Cons(a,snoc(x,b))
snoc(Nil,b)       = Cons(b,Nil)
