¿Se puede tipar un acumulador en reduce no a través de AS, sino mediante genéricos? ¿Es posible calcular automáticamente el tipo del valor de retorno basado en el objeto pasado usando tipos de TypeScript?