Functional interfaces and reductions