support outlining involving tuple types