このスレでも出てくるんだけど NonEmptySequence 型よさそうで