Comment Comment by justinhj It comes up in Scala. The solution is to have notation to specify the variance of types. parent justinhj 7 years ago