3 ms·

(Author here.) Yes, folds exist, but it's nice to be able to "imperatively" short-circuit really easily.