progress in generics notes