Another question about concepts :
how can I build a concept
which requires a given type X to either have an associated type named foo
or an associated type named bar (silly names for example purpose).
Checking for both is easy but i can't find how to check for OR another.
Thanks in advance