I don't really understand how can TupleN capture TupleTypeN. Can you give an example?