This reminded me of the Typescript type-level Quine. https://youtu.be/UzE6d1ueT_E