\ On Prefixes r←(F\)y

r is the result of applying F to each prefix of y. If F is a reduction function, this is a scan. Supports the backward extra argument, which applies F to suffixes of y.