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