Здравствуйте, AndrewVK, Вы писали:

K>>Туплы — это и есть АлгТД.
AVK>Нет. Туплы это просто набор значений, кортеж в РА. А АлгТД обязан иметь дискриминант.

Вообще в Хаскелле кортежи это:

data Pair a b = Pair a b

data Triple a b c = Triple a b c

и т.д.
А (,) и (,,) — это просто такие конструкторы вместо Pair и Triple. Они, кстати, так и описываются в инстансах.

А что такое РА?