Complex type inference on router outputs? - tRPC