Types form a hierarchy.
Tipe-tipe membentuk sebuah hierarki.