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. Boxed 1-tuples are flattened. See Note [One-tuples]

Make a tuple type. The list of types should not include any RuntimeRep specifications. Boxed 1-tuples are *not* flattened. See Note [One-tuples] and Note [Don't flatten tuples from HsSyn] in MkCore

Build the type of a small tuple that holds the specified type of thing Flattens 1-tuples. See Note [One-tuples].

Specialization of unboxedTupleSumKind for tuples

Specialization of unboxedTupleSumKind for sums

If the given name is that of a constraint tuple, return its arity. Note that this is inefficient.

Make a fake, recovery TyCon from an existing one. Used when recovering from errors in type declarations

Type constructor for n-ary unboxed sum.

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