To stop it from traversing further down the tree is case it never finds a TypeApply?