scala - scalaz Semigroup が共変でないのはなぜですか?

Question

Scalaz SemiGroup が共変でない単純な理由は次のとおりです。

https://github.com/scalaz/scalaz/blob/series/7.1.x/core/src/main/scala/scalaz/Semigroup.scala

https://github.com/scalaz/scalaz/blob/series/7.1.x/core/src/main/scala/scalaz/syntax/SemigroupSyntax.scala

ありがとう。