Counterexamples in type systems (2021)

I don't see the actual article content provided—only a title, theme selector options, and author attribution. Without the substantive text of the article, I cannot summarize its key findings or insights about counterexamples in type systems.