perhaps use ordinary `Seq` then