>And I want a magic pony; but as I said, declaring the return type doesn't tell users anywhere near all they need to know in many cases.

Then you're doing it wrong. Write types that encapsulate all the information you need. Don't allow construction of invalid instances. It's not rocket science.