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。