Specifying Return Type in Effects While Inferring Errors and Dependencies - Effect Community