sum
- xs: (List U48)
: U48

match xs {
  ++: (+ xs.head (sum xs.tail))
  []: 0
}