if you go to another culture and you don't go through the participatory transformation, right? If you don’t, and you're just experiencing culture shock - domicide - the agent arena relationship isn't in place! Then none of those other meaning systems can work for you. There'll be absurd. They won't make sense. That's what he means by it being a Meta-Meaning system.

* Now it's correct within the laws of the type system, but makes zero practical sense, * because there exists no runtime representation of the type `Date & string`. * * The type system doesn't care whether a type can be represented in runtime though.