Sort:  

A function type depends on two types, the domain A and the range B.

Leaning over the gunnel I can barely see the runners of the sleigh, and far below us the slow turning earth.