Functional library for Java