ho

docs/ALGORITHM.md

@@ -110,6 +110,13 @@ This investigation suggests the following algorithm for producing `smooth3`:
 4. Go to step 2.
 ```
 
+## Generalizing the idea
+
+The idea in the algorithm above is quite general, and instead of using it on
+`(*)`, `powersOf2`, and `powersOf3`, we can apply it to any binary function `f`
+that is monotonically increasing in both arguments, and any ordered lists `xs`
+and `ys`.
+
 # Prior work
 In <code>[data-ordlist](https://www.stackage.org/lts/package/data-ordlist)</code>,
 there is