fun append []      lst = lst
  | append (x::xs) lst = x::(append xs lst);

fun addTo k []      = []
  | addTo k (x::xs) = (x+k)::(addTo k xs);

fun addTo2 []      k = []
  | addTo2 (x::xs) k = (x+k)::(addTo2 xs k);