shigemk2 https://blog.hatena.ne.jp/shigemk2/ by shigemk2 https://www.shigemk2.com/ Scala 独習Scalaz 10日目 モナド変換子 にて、エラーになるところを見つけました。 scalaz 7.1.x scala 2.11.7 そのままサンプルコードをなぞると、タイトルのようなエラーになる。 scala> :paste // Entering paste mode (ctrl-D to finish) type StateTReaderTOption[C, S, A] = StateT[({type l[+X] = ReaderTOption[C, X]})#l, S, A] object StateTReaderTOption extends StateTInstances wit… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fwww.shigemk2.com%2Fentry%2Fcovariant_type_X" title="独習Scalazにおける error: covariant type X occurs in invariant position in type [+X]ReaderTOption[C,X] of type l - by shigemk2" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2015-08-29 01:32:33 rich https://www.shigemk2.com/entry/covariant_type_X 1.0 100%