for “real world” use, i would prefer tuples over trinary operators because you can have many different kinds of contexts and you can give a tuple element a label. (and you don’t need to boilerplate a new type for every combination of (b, c) inputs!)
perhaps Pitch: User-defined tuple conformances will open up some new possibilities.