More than one but less than k usages

[davidweichiang]

Maybe a can of worms but can the affine-to-linear transform be extended to k usages?

For example, in the coin pattern example, one might naturally want to generate a list of coin flips, and then for each suffix of the list, examine the top three elements. But this would result in touching each element of the list 3 times.

[davidweichiang]

Q: If we implemented this, would that really enable a more natural implementation of pattern*.ppl?