<p><span class="h-card" translate="no"><a href="https://floss.social/@gwidion" class="u-url mention">@<span>gwidion</span></a></span> <span class="h-card" translate="no"><a href="https://mastodon.social/@ancoghlan" class="u-url mention">@<span>ancoghlan</span></a></span> <span class="h-card" translate="no"><a href="https://mastodon.social/@dabeaz" class="u-url mention">@<span>dabeaz</span></a></span> you might find these useful: <a href="https://github.com/hauntsaninja/useful_types/blob/305c66f860117ea41e0dd1f951f2fc3b4786c57e/useful_types/__init__.py#L75" target="_blank" rel="nofollow noopener noreferrer" translate="no"><span class="invisible">https://</span><span class="ellipsis">github.com/hauntsaninja/useful</span><span class="invisible">_types/blob/305c66f860117ea41e0dd1f951f2fc3b4786c57e/useful_types/__init__.py#L75</span></a></p>