permit empty Seq