This is a schematic representation of Scala type hierarchy: