É possível tipar um acumulador em reduce não através de AS, mas através de genéricos? É possível calcular automaticamente o tipo do valor de retorno com base no objeto passado usando tipos TypeScript?