Generalize addL/addR and capL/capR