fun sum [ ] = 0
  | sum (h::t) = h + (sum t);

fun length [ ] = 0
  | length (h::t) = 1 + (length t);