Existentials on a leash
cdfa.github.io
Article on using linear types for “naked” existential type variables.