Refactor shrinkTuple