я еще понимаю операции на множестве\классе, но на типе и объекте не совсем. Для множества вроде просто — операции на его элементах для класса так же — элементы этого класса (а класс тут в классическом смысле?) на типе — это как методы в обжекте, статические? на объекте — ???