頻度の問題はあるにしても、 Array でも AnySequence(array.map {}.map {}) より array.map {}.map {}.eraseToAnySequence() と書きたいと。 (edited)