We look forward to a paper on this topic. We recommend no action until a
paper is available.

[
Post Summit Alisdair provided wording.
]

[
Post Summit:
]

Daniel adds:

I suggest Size should require IntegralLike and not UnsignedIntegralLike,
because otherwise simple int-literals could not be provided as arguments
and it would conflict with other algorithms that only require IntegralLike.

The current for-loop-test relies on evaluation in boolean context which is
not provided by ArithmeticLike and it's refinements. I propose to change the
corresponding for-loop-headers to: