Infer prop types of generic children React components with TypeScript

Question

I want to force TypeScript to correctly type-check the generic hierarchy of React components like this (playground link):