https://keroseneheaterreview.blogspot.com/2024/06/min-arg-empty-sequence.html