we don't need the parameter <T> in that case.
the signature can be:
Predicate applyFunctionToBinary(final PredicateFunction<Binary> fn)
the cast to T bellow can then be removed