type でもないし、なんと呼べばいいんだ？型クラス？

1:55 AM

1:56 AM

カインド = 「型の型」 - 例: Optional<Int> : * （型） - 例: Optional: * -> * （型→型）

1:56 AM

Kind でよい？

1:57 AM

↓とか？ protocol Functor { associatedtype Value func map<R: MyKind>(_ transform: (Value) -> R.Value) -> R }