Scala Unified types

In Scala, all values have a type, including numerical values and functions.

It is the type of an expression which does not evaluate to a value, or a method that does not return normally.

Is a subtype of all reference types (i.e. any subtype of AnyRef).