Also, in your example, the recursive call is not in tail position. You would first need to rewrite it to use an acumulator parameter.