(chore) Use unqualified TyTup.