future.foo { x in ... } みたいに書いたときにどっちになってほしいか（もしくは ambiguous でエラーか）だね。Failure == Never のときに foo のオーバーロードが追加されてるだけで、個人的には優先度が並列なのは納得なんだよなぁ。Int と String じゃなくて Result<Output, Never> とOutput だと、型の上では変わらないんだけど、意味的には狭まってるから後者が選ばれてほしい気持ちになるけど・・・。