-- data Type = ...
forallTName, varTName, conTName, tupleTName, unboxedTupleTName,
    unboxedSumTName, arrowTName, listTName, appTName, sigTName, equalityTName,
    litTName, promotedTName, promotedTupleTName, promotedNilTName,
    promotedConsTName, wildCardTName :: Name
forallTName         = libFun (fsLit "forallT")        forallTIdKey
forallTName, varTName, conTName, tupleTName, unboxedTupleTName,
    unboxedSumTName, arrowTName, listTName, appTName, sigTName, equalityTName,
    litTName, promotedTName, promotedTupleTName, promotedNilTName,
    promotedConsTName, wildCardTName :: Name
forallTName         = libFun (fsLit "forallT")        forallTIdKey
forallTName         = libFun (fsLit "forallT")        forallTIdKey