Specifying Return Type in Effects While Inferring Errors and Dependencies

Is it possible to explicitly specify the return type of an Effect and leave the errors and dependencies to be inferred?
Was this page helpful?