Is there a way to explicitly declare an Effect return type of a function, but only the Success and the Service types? And let the Error types be inferred via whatever is called inside it? If there are many errors, for example, it can be tedious to write it all out. But nice to have explicit types every so often up the abstraction chain...