Functional interface types in the style of java.util.function.