Supertype for Option＃orElse

Question

Functional Programming in Scala通过并构建Option类型。这表明，除其他外，orElse方法：

def orElse[B >: A](ob: => Option[B]): Option[B]

正如书中解释说：The B >: A says that the B type parameter must be a supertype of A.

为什么要为orElse的参数类型是A父类型？

Answer 1

除了被多次提问之外，Scala中的FP还在GitHub上有一个很棒的维基，在这个部分或者其他方法中，详细说明了explained。