fib(0) -> 1; fib(1) -> 1; fib(N) -> fib(N-1) + fib(N-2).
https://paste.pound-python.org/show/m403qNkpS5I8dnYjJGJq/
I wanna see the compiler that gets that.
But I suppose it's more accurate to describe it as the poster boy example for changing an implementation to make it tail recurse.