Tag super deduction