Tail Recursive Append Is Possible Because Of