Merge pull request #4632 from yanns/4631_covariant_later

Issue #4631: Make Later covariant

core/src/main/scala/cats/Eval.scala

@@ -139,7 +139,7 @@ sealed abstract class Eval[+A] extends Serializable { self =>
  * This type should be used when an A value is already in hand, or
  * when the computation to produce an A value is pure and very fast.
  */
-final case class Now[A](value: A) extends Eval.Leaf[A] {
+final case class Now[+A](value: A) extends Eval.Leaf[A] {
   def memoize: Eval[A] = this
 }
 
@@ -157,7 +157,7 @@ final case class Now[A](value: A) extends Eval.Leaf[A] {
  * by the closure) will not be retained, and will be available for
  * garbage collection.
  */
-final class Later[A](f: () => A) extends Eval.Leaf[A] {
+final class Later[+A](f: () => A) extends Eval.Leaf[A] {
   private[this] var thunk: () => A = f
 
   // The idea here is that `f` may have captured very large
@@ -190,7 +190,7 @@ object Later {
  * required. It should be avoided except when laziness is required and
  * caching must be avoided. Generally, prefer Later.
  */
-final class Always[A](f: () => A) extends Eval.Leaf[A] {
+final class Always[+A](f: () => A) extends Eval.Leaf[A] {
   def value: A = f()
   def memoize: Eval[A] = new Later(f)
 }
@@ -206,7 +206,7 @@ object Eval extends EvalInstances {
    * so calling .value does not trigger
    * any flatMaps or defers
    */
-  sealed abstract class Leaf[A] extends Eval[A]
+  sealed abstract class Leaf[+A] extends Eval[A]
 
   /**
    * Construct an eager Eval[A] value (i.e. Now[A]).