Tagged “variance”

Context Bounds are Implicitly Passed, are Subtype Bounds? 06 Nov 2020
A question about covariance and `Functor.widen` leads to me correcting my mistaken notion about the mechanism of subtype constraints.
scala variance implicits cats