A functional programming library for Java 7