Q on function returning

[John M. Dlugosz]

In S06, it is explained how the parameter list to 'return' is preserved as a 
Capture.

So, what is the role of the inner and outer return types that are declared on 
the function?