A functional effect library for Java with deferred computation and error handling