> Scala has a very different solution to this problem, called covariant and contravariant traits.

I thought Scala had an even stricter value restriction than ML, where only function/methods may get a polymorphic type?