Scala’s Types of Types