@jdegoes
FYI, I was linked this.
https://github.com/zio/zio-prelude/blob/master/src/main/scala/zio/prelude/IdentityCompose.scala#L3 …
These variance annotations make it unusable. There are plenty of other examples.
-
Right, but variance annotations in Scala have long been plagued by bugs that would never be fixed, and Ed's experiment in subcategories was incredible but way more than I am trying to achieve in this library. So *maybe* a different outcome. This is the experiment, anyway.
Here is one of hundreds of examples:https://gist.github.com/tonymorris/29fc67c928addbc33130193aaf0de9a1 …
