Yeah, typo (now fixed). eduction still works with lazy seqs, it will just fall back to a reduce over the seq (and in the case of the original code I posted, the lazy map will generate an intermediate chunked seq). The intended way is to shift one paren and keep the map isolated, so the eduction is applied to a range, which is both seqable and reducible, where the reducible form uses no intermediate collections.