This is a heavily interactive web application, and JavaScript is required. Simple HTML interfaces are possible, but that is not what this is.
Post
Alice ✨
welltypedwit.ch
did:plc:j7ri4agbraq6g3dfmyccxep2
so, in rust `dyn Trait` means `exists s. Trait(s) /\ s` and `fn f() -> impl Trait` means `f : exists s. Trait(s) /\ (() -> s)`
but what if i want an existential over something other than the Self parameter?
like, what if i have Trait<B> and i want an `exists s b. Trait(s, b) /\ s`?
2026-05-13T08:55:36.073Z