> Obviously that eventually leads to an end object containing a primitive, you can’t just have fancy trees of nothingness lol. You absolutely can have types wi

> Obviously that eventually leads to an end object containing a primitive, you can’t just have fancy trees of nothingness lol. You absolutely can have types with only one value, e.g. a class with no members. Then you can have a tree type composed of those nothing types, where the information is in the tree structure, not in any primitive value stored anywhere.