Polymorphism, vtables, and generic containers in C++
Compile-time generics, templates, and algorithms
Template monomorphization, generic programming paradigms, STL algorithm iterator abstractions, and compile-time type constraints.
Not yet
This one opens once you have finished RAII, objects, and lifecycles in C++.
Progress is kept against your account, so finishing a module needs one. Everything up to here is open without.