hmm, good point; so it should be a `List[Type]` and here we just prepend `c.getSuperClass`