[patmorgan23]

It's almost as if schemas and static types were a good idea/expression of a fundamental reality.