There is a case, when we need to give to Java raw type. When we calculates substitutor, it's important to return raw type in case of higher kinded types in Scala, what is equivalent in bytecode.