或いは第一引数に識別子入れるとクロージャの引数が合わせた型になるとか。

5:56 AM

foo.map(who: .future) { a: Result<T, E> in ... } foo.map(who: .result) { a: T in ... }

5:57 AM

こういう感じにしておくと、第三第四のモナドが出てきても安定して拡張していける、と思う。

5:57 AM

先に出した案のほうがネストして重ねまくっても対応出来るので良いかな〜という気はしているけど

5:57 AM

引数パターンのほうが使いやすそうではある。