SP
Size: a a a
SP
p
H
UnitType в IntAB
p
UnitType в IntAB
AB
UnitType в IntH
Z?SP
AB
p
H
Z и S - конструкторы значений индуктивного типа Int:data Int = Z | S Int
AB
B
H
UnitType всего одно значение, а поэтому не имеет смысла его передаватьAB
UnitType всего одно значение, а поэтому не имеет смысла его передаватьH
p
B
B