Seeing and Doing : Example :

Sorting efficiently with structural recursion