back to Seq to encode the notion of order