Library with functional idioms for Java, like Option, Future, etc.