Great. We'll be able to move this very quickly once we decide whether it should be called Type[C] or Class[C]. The original proposal is Type[C], and it's nice because it's a pun on `type`, just like Tuple[...] is a pun on `tuple` (and similar for List etc.). But OTOH it really annotates a class object, not an abstract type. I still prefer Type[C] -- anyone want to argue that we're making a mistake? (I know, nobody's listening, everyone's too busy arguing that Path should inherit from str. :-)