Allow arr ∧ (first ∨ (***)) as minimal definition of Arrow instance