Actually I think it's the rhs of the TypeDef, that being a TypeTree.