Типы

Тип - это данные, которые могут принадлежать к нескольким классам, а класс, в свою очередь, может требовать, чтобы каждый его тип обязательно принадлежал к другому классу, или даже нескольким.