implement a generic reduce method so that later we can easily implement reduce_{sum,prod,etc}