<p><span class="h-card" translate="no"><a href="https://types.pl/@disconcision" class="u-url mention">@<span>disconcision</span></a></span> @tonyg@pubsub.leastfixedpoint.com beautiful, thank you!! Is the differentiation example for zippers canonical?</p>