Optionalが崩壊してるのは二重にできることとArrayの空配列が互換性がある事のまわりだけなきがする

1:50 AM

NonEmptyはArrayに1度だけくっつく属性だから違いそう（任意のTをつつめる型ではない