Self と AssociatedType に限らず、制約から導かれる T -> K として一般化できないかな？

7:24 AM

たまたま K が T 自身だったり、 T の associatectype だったりするだけで。