`Later` is an instance of `Eval` ```scala final class Later[A](f: () => A) extends Eval.Leaf[A] ``` And [`Eval` is covariant](https://github.com/typelevel/cats/pull/937). I'm having the same issue as described in https://github.com/typelevel/cats/pull/937 but for `Later`. We could make `Later` covariant as well.