abstracted SEQUENCE combinator