`tp` might have decls that are not satisfied by the descendants of the parents. I have a few test variations that show that in action.