<p><span class="h-card" translate="no"><a href="https://mastodon.social/@whitequark" class="u-url mention">@<span>whitequark</span></a></span> now correct me if i'm wrong but the ocaml version of this wasn't the standard type A | B type refined, was it? It was like there was a second type of "mega-enum" that held all possible variants `A and then you could refine that mega-enum.</p>
