How to create type safe “Recursive” type?

Question

I want to create typed tree sctructure, passing root and child nodes schemas. I expect required properties to be required and optional not to be required, according to schem