Language.Haskell.Syntax.Basic

The width of an unboxed sum

A *one-index* constructor tag

Type of the tags associated with each constructor possibility or superclass selector

Field labels are just represented as strings; they are not necessarily unique (even within a module)

See Note [Roles] in GHC.Core.Coercion

Order of constructors matters: the Ord instance coincides with the *super*typing relation on roles.

Source Strictness

What strictness annotation the user wrote

Source Unpackedness

What unpackedness the user requested

Captures the fixity of declarations as they are parsed. This is not necessarily the same as the fixity declaration, as the normal fixity may be overridden using parens or backticks.