GADTs: разница между «алгебраическим» и «Абстрактным»?

#haskell #abstract-data-type #algebraic-data-types #gadt #хаскелл #абстрактный тип данных #алгебраические типы данных #gadt Вопрос: Кажется, термины "Обобщенный абстрактный тип данных" и "Обобщенный алгебраический тип данных" используются взаимозаменяемо, но я уверен, что…