After discussion, fixed by checking that the tuple is a singleton. The non-singleton case is tricky to spec and we don't have any use cases to work against at this point.