Could this be done more simply by how go does exceptions: just return the effect and let the caller handle it (or not)? So a function that has exceptions would

Could this be done more simply by how go does exceptions: just return the effect and let the caller handle it (or not)? So a function that has exceptions would return "value, error". A function that is async would return "value, future". A function that yields would return "value, tail". I'm sure I'm missing something though.