Array iteration got checked into the prelude so this is now shorter: https://godbolt.org/z/YYheo19ea