3 ms·

Generics and many kinds of subtyping do cause challenges. This is part of why Scala's type inference is so bad.