Return guards are second-class guards

[MostAwesomeDude]

It's not quite possible to do, say, a such-that pattern on a return value. My case is something like:

def f(x :Guarded) ? (okay(rv)) { return x.do() }