È possibile tipizzare un accumulatore in reduce non tramite AS, ma tramite generici? È possibile calcolare automaticamente il tipo del valore di ritorno in base all'oggetto passato usando i tipi di TypeScript?