これ、NonEmpty の C 側に NonEmpty 入れると動きがやばくなりそうな予感が