Elaborate more about "Generic sensible implementation" about functional-swift HOT 1 CLOSED

I rephrased the paragraph as follows. Is this more clear?

The type of this function is so generic that it completely determines how the function itself is defined. We'll try to give an informal argument here. We need to produce a value of type C. As there is nothing else we know about C, there is value that we can return. If we knew that C was some concrete type, like Int or Bool, we could potentially return a value of that type, such as 5 or True respectively. As our function must work for any type C, we cannot do so. The only argument to the >>> that refers to C is the function g : B -> C. Therefore the only way to get our hands on a value of type C is by applying the function g to a value of type B.

from functional-swift.