You should not use the same name here as the object from `cartan_type.py`.