Wrapping my head around Tail Recursion and TCO