[red] Having trouble getting NonEmptyAseq to work