[GHC] #10911: Allow left ∨ (+++) as minimal definition of ArrowChoice instance