たしかに

5:41 AM

protocol がジェネリックじゃないからギリギリ書けない？↓みたいなことが書きたいけど。 protocol Functor { associatedtype Value func map<F>(_ f: (Value) -> F.Value) -> F where F<_> == Self<_> }