Generalize to arrows.