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.