<p><span class="h-card" translate="no"><a href="https://types.pl/@lenary" class="u-url mention">@<span>lenary</span></a></span> no types, _but_ we do have undef (and undef-correctness is a fairly big deal), so it&#39;s not all rainbows</p>