typealiasって型システム上でどういう扱いなんだろなあ、さっさと置換されちゃってるのかな？

4:07 AM

この関数の返り値の型はPrimitveSequence<A, B>だけど、定義時点ではalias左辺のSingle<B>で定義されていたよっていう情報が引っ張り回せれば

4:07 AM

protocolのコード補完のときにはalias左辺側で出せそうよね。