Data constructor for a single positional parameter.
Data constructor for a variable positional parameter that can occur 0 or more times.
Data constructor for a variable positional parameter that can occur 1 or more times.
Data constructor for a fixed n positional parameter.