RouteBody<N, M>: N extends keyof Routes
    ? M extends keyof Routes[N]
        ? "body" extends keyof Routes[N][M]
            ? Routes[N][M]["body"]
            : any
        : never
    : never

Type Parameters