Create sums.idr