Trouble inferring the type of a very simple structure of nested routers - tRPC