Higher-order concat combinator.