Имена ADT. Что такое «Left a», а затем «a» в Haskell?

Если у меня есть ADT Haskell, например:

data Foo
 = A Int Double
 | B Bool [Integer]
 | C (Maybe String) Float

, A , B и C обозначаются как ] конструкторы данных ; а иногда как конструкторы значений . Но каково правильное название:

1. «строка / альтернатива»: например, B Bool [Целое число] ; и
2. «поле / элемент» из «строки / альтернативы»: например, Double в A или [Integer] в B ?