> Why would a type ever own another type? FHIR, an international standard for medical data, is a great example here. The circular types get so gnarly that I've

> Why would a type ever own another type? FHIR, an international standard for medical data, is a great example here. The circular types get so gnarly that I've personally managed to infinite-recursion the TypeScript compiler. We even managed to get 45min builds followed by a timeout by sneezing wrong. https://www.hl7.org/fhir/overview.html https://www.hl7.org/fhir/overview.html The tldr is that you can have things that belong to things that belong to things that end up belonging to the original thing after a very very long inscrutable chain of pointers. Essentially a graph.