Effective instances for Alongside{Left,Right}