<p><span class="h-card" translate="no"><a href="https://possum.city/@tauon" class="u-url mention">@<span>tauon</span></a></span> like</p><p>i'm glad the language and the compiler are powerful and usable enough to let you do Type Crimes</p><p>but the only Type Crimes i actually _want_ in my language are GADTs and rust doesn't even have those</p><p>(obviously i understand that opinions greatly differ)</p>
