それは高階kind必須

3:08 PM

いや？

3:08 PM

取って置きのワークアラウンド思いついたわ

3:09 PM

struct NonEmptySeq<S>: Sequence where S: Sequence { typealias Element=S.Element }

3:09 PM

なんかこんな感じでなんとかなるやろ

3:10 PM

何チャラIndexがこんな感じの実装になってませんでしたっけ