NonEmpty<Element, NonEmpty<Element, C>> は考えてませんでしたが（それぞれの struct を実装するイメージしてました）、多分うまくいきそうな気がします。その場合だけ init(Element, Element, C) を extension で生やせると便利そうですね〜。