The missing piece is that it would still force you to make even larger types in many cases, such as `Result<Large, Error>`.

Essentially the problem is composability. If you are building a large type from a sequence of other large types, and one or more step is fallible, the normal return ABI breaks down very quickly.