Higher kinded types is a feature that sets the languages apart and is what allows for some very powerful polymorphic code to be written in Scala.