<p><span class="h-card" translate="no"><a href="https://types.pl/@ionchy" class="u-url mention">@<span>ionchy</span></a></span> wait ur right the pi is the forall i knew that <br />what do u mean type constructor-ish</p><p>and how do i construct a term w type \lam x:A. B</p>