<p><span class="h-card" translate="no"><a href="https://mastodon.social/@whitequark" class="u-url mention">@<span>whitequark</span></a></span> also tired but not in pain at this time. considering how long we can waste time on the couch before we have to get dressed</p>

<p><span class="h-card" translate="no"><a href="https://chaos.social/@jacqueline" class="u-url mention">@<span>jacqueline</span></a></span> really tired and in pain<br />how are you</p>

<p><span class="h-card" translate="no"><a href="https://mastodon.social/@whitequark" class="u-url mention">@<span>whitequark</span></a></span> gm catherine hope you’re well babe</p>

<p><span class="h-card" translate="no"><a href="https://chaos.social/@jacqueline" class="u-url mention">@<span>jacqueline</span></a></span> good morning</p>

<p><span class="h-card" translate="no"><a href="https://mastodon.social/@mcc" class="u-url mention">@<span>mcc</span></a></span> yes, you have to commit to one or the other (or both)</p><p>this is because `A has a secret type variable hidden inside that unifies with other stuff you use it together with</p>

<p>monday….,</p>

<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&#39;m wrong but the ocaml version of this wasn&#39;t the standard type A | B type refined, was it? It was like there was a second type of &quot;mega-enum&quot; that held all possible variants `A and then you could refine that mega-enum.</p>

<p><span class="h-card" translate="no"><a href="https://mastodon.social/@mcc" class="u-url mention">@<span>mcc</span></a></span> row types would be nice yeah</p><p>yay ocaml</p>

<p>A thing I<br />c o n s t a n t l y<br />wish for when using Rust, is the ability to type an instance of an enum such that the instance is restricted to one particular variant or a specific subset of variants</p>