You are right, but since it is not known at compile time that which side of either it would be. AFAIK atleast doing magic with implicits is out of question. (a not for myself) However we can use a case expression.