<p><span class="h-card" translate="no"><a href="https://chaosfem.tw/@rooster" class="u-url mention">@<span>rooster</span></a></span> omg Jessica istg I don’t even have therapy for another week 😭</p>

<p><span class="h-card" translate="no"><a href="https://types.pl/@bhaktishh" class="u-url mention">@<span>bhaktishh</span></a></span> <span class="h-card" translate="no"><a href="https://types.pl/@ionchy" class="u-url mention">@<span>ionchy</span></a></span> it&#39;s not a type it&#39;s a &quot;will be a type, later (once it&#39;s applied)&quot;.</p>

<p>so fucking sweaty i could melt into a puddle i cannot live in the tropics</p>

<p><span class="h-card" translate="no"><a href="https://hachyderm.io/@liztai" class="u-url mention">@<span>liztai</span></a></span> I&#39;ll add it to my To Be Watched list, thanks!</p><p>There has to be a bigger audience for this if US movies about finance like Wolf of Wall Street and The Big Short have had strong uptake.</p>

<p><span class="h-card" translate="no"><a href="https://tilde.zone/@misterdave" class="u-url mention">@<span>misterdave</span></a></span> <span class="h-card" translate="no"><a href="https://mastodon.social/@jonoleth" class="u-url mention">@<span>jonoleth</span></a></span> yeah thats me ^__^</p>

<p><span class="h-card" translate="no"><a href="https://types.pl/@ionchy" class="u-url mention">@<span>ionchy</span></a></span> oh yeah i think that is by design, but `Type` isn&#39;t a type, it&#39;s a kind -- so really you can&#39;t have kinds that depend on kinds</p>

<p>ok i know something. i just forgetful and silly</p>

<p>The statement read “the President is proud to sign the Home Ownership Promotion Act, providing deep tax breaks to home owners. We will be paying for these benefits with a high tax on renters to promote the housing market.”</p>

<p><span class="h-card" translate="no"><a href="https://types.pl/@ionchy" class="u-url mention">@<span>ionchy</span></a></span> types that depend on types r the pis but `Type` is the Kind of all types (it&#39;s predicative so there&#39;s like an explicit universe jump as far as i understand)</p><p>but i seee what u mean thank u !! that makes a lot more sense</p>