As a TL;DR, or even as a starting point for diving deeper into the finer points in the talk, it would be really helpful to attach the complete code which demonstrates type erasure.