Foldr renamed to ReverseAggregate