Add some examples for Seq