Existentials on a Leash
Summary
A deep dive into encoding existential types in Haskell using linear types, exploring unsafeCoerce safety arguments, and practical lazy vectors with a Codespace workflow. The article discusses CPS vs GADT approaches, the existential-on-a-leash encoding, and optics-related techniques, finishing with safety caveats and potential future work.