On Suffixes r←(F↡)y

r is the result of applying F to each suffix of y.