<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>