by code that checks if it is an ExtensibleAlgType and whether the root attribute and arity are the same