let val sum := [(+)|0 x]
  in sum {|sum (let val l := splitc `0 ' ' in l:i end)} end