Allow left ∨ (+++) as minimal definition of ArrowChoice instance
Allow left ∨ (+++) as minimal definition of ArrowChoice instance

See #10911.

Reviewers: ekmett

Signed-off-by: Austin Seipp <7ea35d812706d9213868749011af1ed4fa2f6aa0@well-typed.com>

GaloisInc/halvm-ghc,sdiehl/ghc,ezyang/ghc,da-x/ghc,gridaphobe/ghc,tjakway/ghcjvm,da-x/ghc,elieux/ghc,vTurbine/ghc,vikraman/ghc,snoyberg/ghc,mettekou/ghc,nushio3/ghc,siddhanathan/ghc,olsner/ghc,mcschroeder/ghc,tjakway/ghcjvm,snoyberg/ghc,ezyang/ghc,siddhanathan/ghc,ezyang/ghc,snoyberg/ghc,gridaphobe/ghc,GaloisInc/halvm-ghc,tjakway/ghcjvm,mcschroeder/ghc,olsner/ghc,ezyang/ghc,elieux/ghc,mettekou/ghc,siddhanathan/ghc,nushio3/ghc,mettekou/ghc,olsner/ghc,shlevy/ghc,GaloisInc/halvm-ghc,da-x/ghc,vTurbine/ghc,sgillespie/ghc,mcschroeder/ghc,da-x/ghc,sgillespie/ghc,sgillespie/ghc,snoyberg/ghc,vTurbine/ghc,oldmanmike/ghc,nushio3/ghc,vTurbine/ghc,vikraman/ghc,ezyang/ghc,siddhanathan/ghc,elieux/ghc,shlevy/ghc,snoyberg/ghc,snoyberg/ghc,AlexanderPankiv/ghc,mcschroeder/ghc,GaloisInc/halvm-ghc,AlexanderPankiv/ghc,gridaphobe/ghc,shlevy/ghc,AlexanderPankiv/ghc,shlevy/ghc,mettekou/ghc,GaloisInc/halvm-ghc,snoyberg/ghc,sdiehl/ghc,sdiehl/ghc,tjakway/ghcjvm,vTurbine/ghc,sdiehl/ghc,sgillespie/ghc,AlexanderPankiv/ghc,vTurbine/ghc,ezyang/ghc,sdiehl/ghc,nushio3/ghc,vikraman/ghc,sdiehl/ghc,gridaphobe/ghc,oldmanmike/ghc,GaloisInc/halvm-ghc,da-x/ghc,siddhanathan/ghc,mettekou/ghc,vikraman/ghc,da-x/ghc,olsner/ghc,oldmanmike/ghc,gridaphobe/ghc,AlexanderPankiv/ghc,elieux/ghc,mcschroeder/ghc,elieux/ghc,tjakway/ghcjvm,olsner/ghc,gridaphobe/ghc,oldmanmike/ghc,gridaphobe/ghc,ezyang/ghc,nushio3/ghc,shlevy/ghc,vTurbine/ghc,siddhanathan/ghc,tjakway/ghcjvm,olsner/ghc,AlexanderPankiv/ghc,oldmanmike/ghc,siddhanathan/ghc,sdiehl/ghc,oldmanmike/ghc,GaloisInc/halvm-ghc,mcschroeder/ghc,mcschroeder/ghc,shlevy/ghc,da-x/ghc,elieux/ghc,nushio3/ghc,shlevy/ghc,vikraman/ghc,nushio3/ghc,mettekou/ghc,sgillespie/ghc,oldmanmike/ghc,sgillespie/ghc,elieux/ghc,vikraman/ghc,tjakway/ghcjvm,sgillespie/ghc,vikraman/ghc,AlexanderPankiv/ghc,mettekou/ghc,olsner/ghc