Function combinator "between" and derived combinators