Erasing Existential Types in Rust / hacker news