This is a continuation of a long conversation from https://github.com/data-apis/array-api/pull/589.