<p>Some programming language designers when presented with a problem think, &quot;I know, I&#39;ll add subtyping.&quot;</p><p>Now you have an infinite lattice of problems.</p>