rm empty() from Seq