Improve the type signature of orElse

The whole point of orElse is to drop the left hand value of a Disjunction, no sense having the type that is dropped influence the resulting type.

core/src/main/scala/cats/data/Xor.scala

@@ -38,8 +38,8 @@ sealed abstract class Xor[+A, +B] extends Product with Serializable {
 
   def getOrElse[BB >: B](default: => BB): BB = fold(_ => default, identity)
 
-  def orElse[AA >: A, BB >: B](fallback: => AA Xor BB): AA Xor BB =
-    fold(_ => fallback, _ => this)
+  def orElse[C, BB >: B](fallback: => C Xor BB): C Xor BB =
+    fold(_ => fallback, a => Xor.Right(a))
 
   def recover[BB >: B](pf: PartialFunction[A, BB]): A Xor BB = this match {
     case Xor.Left(a) if pf.isDefinedAt(a) => Xor.right(pf(a))