Узагальнений алгебраїчний тип даних - один з видів алгебраїчних типів даних, який характеризується тим, що його конструктори можуть повертати значення не свого типу. Це поняття реалізовано в декількох мовах програмування, зокрема в мовах ML і Haskell, причому в останньому воно не входить в стандарт мови Haskell-98, а реалізовано тільки в одному з розширень компілятора GHC.

Типи даних
Неінтерпретіруемие	Біт Ніббл Байт Тріт Трайт Слово
Числові	Цілий З фіксованою комою З плаваючою комою Раціональний Комплексний Довгий Інтервальний
Текстові	Символьний Строковий
Покажчик	Адреса Посилання
Композитні	Алгебраїчний тип даних (узагальнений) Масив Асоціативний масив Клас Список Кортеж Об'єкт Option type Product Структура Безліч Об'єднання (tagged)
Інші	Логічний Нижчий тип Колекція Перераховуються тип Виняток First-class function Opaque data type Recursive data type Семафор Потік Вищий тип Type class Unit type Void
Пов'язані теми	Абстрактний тип даних Структура даних Інтерфейс Kind (type theory) Примітивний тип Subtyping Шаблони C + + Конструктор типу Parametric polymorphism