expressions unify in both ways and are seqs