Introducing constrained tuples