[dllthomas]

Types can be erased at runtime. That doesn't mean types have to be erased at runtime. Whatever best suits the pedagogy.