Simplify Reduce type trait.