Use v @: s to compose the sequence that produces v followed by the sequence s. This is the right-associative infix operator version of the cons function (defined above).
Use a @+ b to compose the sequence that produces a followed by b. This is the right-associative infix operator version of the concat function (defined above).