nombres ADT. ¿Qué es `Left a`, y luego, ¿qué es` a` en Haskell?

Question

Si tengo una Haskell ADT tales como:

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

la A, B, y C se denominan constructores de datos; y a veces como constructores de valores . Pero, ¿cuál es el nombre correcto para:

1. a "row/alternative": p. B Bool [Integer]; y
2. un "campo/elemento" de una "fila/alternativa": p. el Double en A, o el [Integer] en B?

Answer 1

data Foo = A Int Double 
    ^^ Type Constructor "data Foo" 
     ^value Constructor "A" 
      ^^ Component "Int" and "Double" 

A | B generalmente se conoce como alternativas o casos. Perdón por el diablo.

Source: Real World Haskell ch3

Answer 2

leer la Sección 4.2 del Informe Haskell98 (http://www.haskell.org/onlinereport/decls.html):

1. Esto no se explica de forma explícita, pero B Bool [Integer] es probablemente lo más correctamente se llama una "declaración del constructor" (por el constructor llamado B)
2. Las cosas como Double en A se llaman declaraciones de campo (aunque llamarlo simplemente un campo debería estar bien también).