fun prod [ ] = 1
  | prod (h::t) = h * (prod t);

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

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