-- reduce aList aFunction accumStartValue
-- call: reduce [1,2,3] (\sum value -> sum+value) 0

reduce []  function accum = accum
reduce (h:t) function accum = reduce t function (function h accum)