Tag
This article explores implementing the 'tagless final' pattern in Rust with GADT-style enums, showing how the compiler can erase abstractions for zero-cost performance.
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.