@xuwei_k smash that #scala variance shit Kenji https://github.com/xuwei-k/scalaz/commit/595a85521125ca556b851236348304bd675dab8d …
-
@dibblego This reminds me to ask: seems like there's a relationship between subtyping variance and functor variance (co/contra/inv). True?
@mpilquist Definitely true.
covariance: (B <: A) => (F[B] <: F[A])
covariance: (A :> B) => (F[A] :> F[B])
fmap: (A => B) => (F[A] => F[B])
