[millstone]

This sounds exactly like Java's checked exceptions.

[Fellshard]

The two are closely related concepts. You can model checked exceptions as a secondary return type, except without the same first-order representation (e.g. inability to specify checked exceptions in generic terms).