Infer TRoot and TProcedure for specific procedures (polymorphism) - tRPC