F A type that is a model of Unary Function
F
X The argument type of F
X
Result The result type of F
Result
f Object of type F
f
x Object of type X
x
