BTW, the Collatz example in the Readme is bugged (both literate and SBCS versions). It just increments odd numbers instead of doing 3n+1, and I think it would also need some special-casing to map 1->1 instead of 1->4 so the iteration halts.