union types and empty seqs