Introduced type tuple