Scala variance demo