So, from low expressive power to high expressive power, looping constructs stack up like this: Tail recursive functions that use immutable data Recursive functions that use immutable data While ...