F A type that is a model of Binary Predicate
F
X The first argument type of F
X
Y The second argument type of F
Y
f Object of type F
f
x Object of type X
x
y Object of type Y
y