共通のプロトコルを同じ分野のライブラリで協定結んじゃった方がって気も...
Result は antitypical/Result を使いたいとかもありますし、Runesも代わりのOperadics があるし、自由な組み合わせで使えるようにしたいんですよねぇ。
(edited)ResultType プロトコル作って、使う側で extension Result: ResultType すれば OK にしようとしたら、 Higher-kinded type がないのでアウト