-- reduction kernel for integers.
reduceAddInt :: Array (Exp Int) -> Kernel (Array (Exp Int))                 
reduceAddInt = reduce (+)
reduceAddInt :: Array (Exp Int) -> Kernel (Array (Exp Int))
reduceAddInt = reduce (+)
reduceAddInt = reduce (+)