Kreeg
Re:The Unsound Playground: Java and Scala's Type Systems are Unsound
on Monday November 28, 2016 @06:36AM (#13054789)
IIRC, Scala has covariant/contravariant generics
(apologies for the bad terminology, I'm not too familiar with the details)