Todo comment re: tail-call recursion