<p><span class="h-card" translate="no"><a href="https://mastodon.social/@dabeaz" class="u-url mention">@<span>dabeaz</span></a></span> Since we're talking types I was assuming a type checker would be involved somehow. They will complain if you call `foo` on an `object`, but not on an `Any`.</p>
