I'm looking for something similar to this (if it were valid syntax): ```py Seq(Str()) and not EmptyList() ``` Is that possible?