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

<p>Secretly, we all want to be Carol</p><p><a href="https://hachyderm.io/tags/Funny" class="mention hashtag" rel="tag">#<span>Funny</span></a> <a href="https://hachyderm.io/tags/LittleBritain" class="mention hashtag" rel="tag">#<span>LittleBritain</span></a></p><p><a href="https://youtu.be/7nh7rDO_9ns?si=OqiKO_5cesA02fPm" target="_blank" rel="nofollow noopener noreferrer" translate="no"><span class="invisible">https://</span><span class="ellipsis">youtu.be/7nh7rDO_9ns?si=OqiKO_</span><span class="invisible">5cesA02fPm</span></a></p>

<p><span class="h-card" translate="no"><a href="https://hachyderm.io/@fasterthanlime" class="u-url mention">@<span>fasterthanlime</span></a></span> its pretty neat, I think it has potential. It has def. been useful for crossposting so far which already no other (free) tool does without a lot of pain. I was very close to build my own scripts to sync posts.</p>

<p><span class="h-card" translate="no"><a href="https://hachyderm.io/@fasterthanlime" class="u-url mention">@<span>fasterthanlime</span></a></span> It has been the case since Twitter decide to charge for API access. I think some paid apps still exist but it&#39;s not viable for a free product.</p>

<p>i know nothing</p>

<p><span class="h-card" translate="no"><a href="https://types.pl/@ionchy" class="u-url mention">@<span>ionchy</span></a></span> this one actually kind of makes sense to me. thx</p>