Type too complex to infer? - tRPC