The Link Between Generics, Compile Times, Type-Erasure, Cloud Building, and Hot-Code Reloading