Built-in syntax isn't "in scope" so these OccNames map to wired-in Names with BuiltInSyntax. However, this should only be necessary while resolving names produced by Template Haskell splices since we take care to encode built-in syntax names specially in interface files. See Note [Symbol table representation of names].

Moreover, there is no need to include names of things that the user can't write (e.g. type representation bindings like $tc(,,,)).

Make a *promoted* list.

Make a tuple type. The list of types should not include any RuntimeRep specifications.

Build the type of a small tuple that holds the specified type of thing

Specialization of unboxedTupleSumKind for tuples

Specialization of unboxedTupleSumKind for sums

Type constructor for n-ary unboxed sum.

Data constructor for i-th alternative of a n-ary unboxed sum.

Construct a type representing the application of the parallel array constructor

Represents the type constructor of parallel arrays

• This must match the definition in PrelPArr

NB: Although the constructor is given here, it will not be accessible in user code as it is not in the environment of any compiled module except PrelPArr.

Fake array constructors

• These constructors are never really used to represent array values; however, they are very convenient during desugaring (and, in particular, in the pattern matching compiler) to treat array pattern just like yet another constructor pattern

Check whether a type constructor is the constructor for parallel arrays

Checks whether a data constructor is a fake constructor for parallel arrays