A data type for the common internal structure of Meta and Composite.
A data type for the common internal structure of Meta and Composite. This is not a typeclass. We bake in contravariant coyoneda to enable proper null handling in the Meta case; in the other cases it's less important but the consistency is probably worthwhile. Note that although the operations here are unsafe, their composition is lawful.