Yeah, I'm not really following the line of reasoning presented on the "/history" page: https://typeschema.org/history
It seems to me like a mischaracterization of JSON Schema to say you can't define a concrete type without actual data.
I am a very stupid individual so I could be misunderstanding the argument.