let add x xs = x :: xs