<p><span class="h-card" translate="no"><a href="https://mastodon.social/@whitequark" class="u-url mention">@<span>whitequark</span></a></span> well, someone has already implemented chess, so… <a href="https://github.com/Dragon-Hatcher/type-system-chess" target="_blank" rel="nofollow noopener noreferrer" translate="no"><span class="invisible">https://</span><span class="ellipsis">github.com/Dragon-Hatcher/type</span><span class="invisible">-system-chess</span></a></p>