typeid(typeof(class)) has the right type (ClassInfo and not TypeInfo)