Define
  case sum(leaf(n))      = n
  case sum(nonleaf(x,y)) = sum(x) + sum(y)
%Define