Tag
A technical article presenting an encoding for existential types in Haskell using linear functions and unsafeCoerce, enabling 'naked' existentials without GADT wrappers, and demonstrating it with a safe variant of the lens combinator unsafePartsOf.
A deep dive into existential quantification in Rust's type system, comparing `dyn Trait` and `impl Trait`, and exploring advanced patterns for existentially quantified type variables beyond `Self`.