Seems like we should at least support `rethrows` for things like `??`, if not for our monadic operators. We should investigate this.