Counterexamples in Type Systems
For the curious: the title seems to echo the excellent "Counterexamples in Topology"[1].<p>[1]: <<a href="https://en.wikipedia.org/wiki/Counterexamples_in_Topology" rel="nofollow">https://en.wikipedia.org/wiki/Counterexamples_in_Topology</a>>