NonEmpty を使った2要素以上配列は下のようになるという予想をしていて、 NonEmpty<Element, NonEmpty<Element, C>>

1:38 PM

あ、いや、なんとかなるのかな… ちょっと前に出くわしたエラーの原因に別の心当たりができました