Tail-Recursion_Elimination_on_Conditional_Types