The abstract root is used for the definition of the transformation type