type Rep TcRnMessage =
D1 ('
MetaData "TcRnMessage" "GHC.Tc.Errors.Types" "ghc-lib-parser-9.10.1.20240511-FCOK3MWDKkc1AE2Ll0xWIs" '
False) ((((((((
C1 ('
MetaCons "TcRnUnknownMessage" '
PrefixI '
False) (
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
NoSourceStrictness '
DecidedLazy) (
Rec0 (
UnknownDiagnostic (
DiagnosticOpts TcRnMessage))))
:+: C1 ('
MetaCons "TcRnInterfaceError" '
PrefixI '
False) (
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
SourceStrict '
DecidedStrict) (
Rec0 IfaceMessage)))
:+: (
C1 ('
MetaCons "TcRnMessageWithInfo" '
PrefixI '
False) (
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
SourceStrict '
DecidedStrict) (
Rec0 UnitState)
:*: S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
SourceStrict '
DecidedStrict) (
Rec0 TcRnMessageDetailed))
:+: C1 ('
MetaCons "TcRnWithHsDocContext" '
PrefixI '
False) (
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
SourceStrict '
DecidedStrict) (
Rec0 HsDocContext)
:*: S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
SourceStrict '
DecidedStrict) (
Rec0 TcRnMessage))))
:+: ((
C1 ('
MetaCons "TcRnSolverReport" '
PrefixI '
False) (
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
NoSourceStrictness '
DecidedLazy) (
Rec0 SolverReportWithCtxt)
:*: S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
NoSourceStrictness '
DecidedLazy) (
Rec0 DiagnosticReason))
:+: C1 ('
MetaCons "TcRnSolverDepthError" '
PrefixI '
False) (
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
SourceStrict '
DecidedStrict) (
Rec0 Type)
:*: S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
SourceStrict '
DecidedStrict) (
Rec0 SubGoalDepth)))
:+: (
C1 ('
MetaCons "TcRnRedundantConstraints" '
PrefixI '
False) (
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
NoSourceStrictness '
DecidedLazy) (
Rec0 [
Id])
:*: S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
NoSourceStrictness '
DecidedLazy) (
Rec0 (
SkolemInfoAnon,
Bool)))
:+: (
C1 ('
MetaCons "TcRnInaccessibleCode" '
PrefixI '
False) (
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
NoSourceStrictness '
DecidedLazy) (
Rec0 Implication)
:*: S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
NoSourceStrictness '
DecidedLazy) (
Rec0 SolverReportWithCtxt))
:+: C1 ('
MetaCons "TcRnInaccessibleCoAxBranch" '
PrefixI '
False) (
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
NoSourceStrictness '
DecidedLazy) (
Rec0 TyCon)
:*: S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
NoSourceStrictness '
DecidedLazy) (
Rec0 CoAxBranch))))))
:+: (((
C1 ('
MetaCons "TcRnTypeDoesNotHaveFixedRuntimeRep" '
PrefixI '
False) (
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
SourceStrict '
DecidedStrict) (
Rec0 Type)
:*: (
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
SourceStrict '
DecidedStrict) (
Rec0 FixedRuntimeRepProvenance)
:*: S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
SourceStrict '
DecidedStrict) (
Rec0 ErrInfo)))
:+: C1 ('
MetaCons "TcRnImplicitLift" '
PrefixI '
False) (
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
NoSourceStrictness '
DecidedLazy) (
Rec0 Name)
:*: S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
SourceStrict '
DecidedStrict) (
Rec0 ErrInfo)))
:+: (
C1 ('
MetaCons "TcRnUnusedPatternBinds" '
PrefixI '
False) (
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
NoSourceStrictness '
DecidedLazy) (
Rec0 (
HsBind GhcRn)))
:+: C1 ('
MetaCons "TcRnUnusedQuantifiedTypeVar" '
PrefixI '
False) (
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
NoSourceStrictness '
DecidedLazy) (
Rec0 HsDocContext)
:*: S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
NoSourceStrictness '
DecidedLazy) (
Rec0 HsTyVarBndrExistentialFlag))))
:+: ((
C1 ('
MetaCons "TcRnDodgyImports" '
PrefixI '
False) (
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
SourceStrict '
DecidedStrict) (
Rec0 DodgyImportsReason))
:+: C1 ('
MetaCons "TcRnDodgyExports" '
PrefixI '
False) (
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
NoSourceStrictness '
DecidedLazy) (
Rec0 GlobalRdrElt)))
:+: (
C1 ('
MetaCons "TcRnMissingImportList" '
PrefixI '
False) (
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
NoSourceStrictness '
DecidedLazy) (
Rec0 (
IE GhcPs)))
:+: (
C1 ('
MetaCons "TcRnUnsafeDueToPlugin" '
PrefixI '
False) (
U1 ::
Type ->
Type)
:+: C1 ('
MetaCons "TcRnModMissingRealSrcSpan" '
PrefixI '
False) (
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
NoSourceStrictness '
DecidedLazy) (
Rec0 Module)))))))
:+: ((((
C1 ('
MetaCons "TcRnIdNotExportedFromModuleSig" '
PrefixI '
False) (
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
NoSourceStrictness '
DecidedLazy) (
Rec0 Name)
:*: S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
NoSourceStrictness '
DecidedLazy) (
Rec0 Module))
:+: C1 ('
MetaCons "TcRnIdNotExportedFromLocalSig" '
PrefixI '
False) (
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
NoSourceStrictness '
DecidedLazy) (
Rec0 Name)))
:+: (
C1 ('
MetaCons "TcRnShadowedName" '
PrefixI '
False) (
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
NoSourceStrictness '
DecidedLazy) (
Rec0 OccName)
:*: S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
NoSourceStrictness '
DecidedLazy) (
Rec0 ShadowedNameProvenance))
:+: C1 ('
MetaCons "TcRnInvalidWarningCategory" '
PrefixI '
False) (
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
SourceStrict '
DecidedStrict) (
Rec0 WarningCategory))))
:+: ((
C1 ('
MetaCons "TcRnDuplicateWarningDecls" '
PrefixI '
False) (
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
SourceStrict '
DecidedStrict) (
Rec0 (
LocatedN RdrName))
:*: S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
SourceStrict '
DecidedStrict) (
Rec0 RdrName))
:+: C1 ('
MetaCons "TcRnSimplifierTooManyIterations" '
PrefixI '
False) (
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
NoSourceStrictness '
DecidedLazy) (
Rec0 Cts)
:*: (
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
SourceStrict '
DecidedStrict) (
Rec0 IntWithInf)
:*: S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
NoSourceStrictness '
DecidedLazy) (
Rec0 WantedConstraints))))
:+: (
C1 ('
MetaCons "TcRnIllegalPatSynDecl" '
PrefixI '
False) (
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
SourceStrict '
DecidedStrict) (
Rec0 (
LIdP GhcPs)))
:+: (
C1 ('
MetaCons "TcRnLinearPatSyn" '
PrefixI '
False) (
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
SourceStrict '
DecidedStrict) (
Rec0 Type))
:+: C1 ('
MetaCons "TcRnEmptyRecordUpdate" '
PrefixI '
False) (
U1 ::
Type ->
Type)))))
:+: (((
C1 ('
MetaCons "TcRnIllegalFieldPunning" '
PrefixI '
False) (
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
SourceStrict '
DecidedStrict) (
Rec0 (
Located RdrName)))
:+: C1 ('
MetaCons "TcRnIllegalWildcardsInRecord" '
PrefixI '
False) (
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
SourceStrict '
DecidedStrict) (
Rec0 RecordFieldPart)))
:+: (
C1 ('
MetaCons "TcRnIllegalWildcardInType" '
PrefixI '
False) (
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
NoSourceStrictness '
DecidedLazy) (
Rec0 (
Maybe Name))
:*: S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
SourceStrict '
DecidedStrict) (
Rec0 BadAnonWildcardContext))
:+: C1 ('
MetaCons "TcRnIllegalNamedWildcardInTypeArgument" '
PrefixI '
False) (
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
NoSourceStrictness '
DecidedLazy) (
Rec0 RdrName))))
:+: ((
C1 ('
MetaCons "TcRnIllegalImplicitTyVarInTypeArgument" '
PrefixI '
False) (
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
NoSourceStrictness '
DecidedLazy) (
Rec0 RdrName))
:+: C1 ('
MetaCons "TcRnDuplicateFieldName" '
PrefixI '
False) (
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
SourceStrict '
DecidedStrict) (
Rec0 RecordFieldPart)
:*: S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
NoSourceStrictness '
DecidedLazy) (
Rec0 (
NonEmpty RdrName))))
:+: (
C1 ('
MetaCons "TcRnIllegalViewPattern" '
PrefixI '
False) (
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
SourceStrict '
DecidedStrict) (
Rec0 (
Pat GhcPs)))
:+: (
C1 ('
MetaCons "TcRnCharLiteralOutOfRange" '
PrefixI '
False) (
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
SourceStrict '
DecidedStrict) (
Rec0 Char))
:+: C1 ('
MetaCons "TcRnNegativeNumTypeLiteral" '
PrefixI '
False) (
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
NoSourceStrictness '
DecidedLazy) (
Rec0 (
HsTyLit GhcPs)))))))))
:+: (((((
C1 ('
MetaCons "TcRnIllegalWildcardsInConstructor" '
PrefixI '
False) (
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
SourceStrict '
DecidedStrict) (
Rec0 Name))
:+: C1 ('
MetaCons "TcRnIgnoringAnnotations" '
PrefixI '
False) (
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
NoSourceStrictness '
DecidedLazy) (
Rec0 [
LAnnDecl GhcRn])))
:+: (
C1 ('
MetaCons "TcRnAnnotationInSafeHaskell" '
PrefixI '
False) (
U1 ::
Type ->
Type)
:+: C1 ('
MetaCons "TcRnInvalidTypeApplication" '
PrefixI '
False) (
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
NoSourceStrictness '
DecidedLazy) (
Rec0 Type)
:*: S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
NoSourceStrictness '
DecidedLazy) (
Rec0 (
LHsWcType GhcRn)))))
:+: ((
C1 ('
MetaCons "TcRnTagToEnumMissingValArg" '
PrefixI '
False) (
U1 ::
Type ->
Type)
:+: C1 ('
MetaCons "TcRnTagToEnumUnspecifiedResTy" '
PrefixI '
False) (
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
NoSourceStrictness '
DecidedLazy) (
Rec0 Type)))
:+: (
C1 ('
MetaCons "TcRnTagToEnumResTyNotAnEnum" '
PrefixI '
False) (
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
NoSourceStrictness '
DecidedLazy) (
Rec0 Type))
:+: (
C1 ('
MetaCons "TcRnTagToEnumResTyTypeData" '
PrefixI '
False) (
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
NoSourceStrictness '
DecidedLazy) (
Rec0 Type))
:+: C1 ('
MetaCons "TcRnArrowIfThenElsePredDependsOnResultTy" '
PrefixI '
False) (
U1 ::
Type ->
Type)))))
:+: (((
C1 ('
MetaCons "TcRnIllegalHsBootOrSigDecl" '
PrefixI '
False) (
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
SourceStrict '
DecidedStrict) (
Rec0 HsBootOrSig)
:*: S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
SourceStrict '
DecidedStrict) (
Rec0 BadBootDecls))
:+: C1 ('
MetaCons "TcRnBootMismatch" '
PrefixI '
False) (
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
SourceStrict '
DecidedStrict) (
Rec0 HsBootOrSig)
:*: S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
SourceStrict '
DecidedStrict) (
Rec0 BootMismatch)))
:+: (
C1 ('
MetaCons "TcRnRecursivePatternSynonym" '
PrefixI '
False) (
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
NoSourceStrictness '
DecidedLazy) (
Rec0 (
LHsBinds GhcRn)))
:+: C1 ('
MetaCons "TcRnPartialTypeSigTyVarMismatch" '
PrefixI '
False) ((
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
NoSourceStrictness '
DecidedLazy) (
Rec0 Name)
:*: S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
NoSourceStrictness '
DecidedLazy) (
Rec0 Name))
:*: (
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
NoSourceStrictness '
DecidedLazy) (
Rec0 Name)
:*: S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
NoSourceStrictness '
DecidedLazy) (
Rec0 (
LHsSigWcType GhcRn))))))
:+: ((
C1 ('
MetaCons "TcRnPartialTypeSigBadQuantifier" '
PrefixI '
False) ((
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
NoSourceStrictness '
DecidedLazy) (
Rec0 Name)
:*: S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
NoSourceStrictness '
DecidedLazy) (
Rec0 Name))
:*: (
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
NoSourceStrictness '
DecidedLazy) (
Rec0 (
Maybe Type))
:*: S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
NoSourceStrictness '
DecidedLazy) (
Rec0 (
LHsSigWcType GhcRn))))
:+: C1 ('
MetaCons "TcRnMissingSignature" '
PrefixI '
False) (
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
NoSourceStrictness '
DecidedLazy) (
Rec0 MissingSignature)
:*: S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
NoSourceStrictness '
DecidedLazy) (
Rec0 Exported)))
:+: (
C1 ('
MetaCons "TcRnPolymorphicBinderMissingSig" '
PrefixI '
False) (
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
NoSourceStrictness '
DecidedLazy) (
Rec0 Name)
:*: S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
NoSourceStrictness '
DecidedLazy) (
Rec0 Type))
:+: (
C1 ('
MetaCons "TcRnOverloadedSig" '
PrefixI '
False) (
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
NoSourceStrictness '
DecidedLazy) (
Rec0 TcIdSig))
:+: C1 ('
MetaCons "TcRnTupleConstraintInst" '
PrefixI '
False) (
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
SourceStrict '
DecidedStrict) (
Rec0 Class)))))))
:+: ((((
C1 ('
MetaCons "TcRnUserTypeError" '
PrefixI '
False) (
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
SourceStrict '
DecidedStrict) (
Rec0 Type))
:+: C1 ('
MetaCons "TcRnConstraintInKind" '
PrefixI '
False) (
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
SourceStrict '
DecidedStrict) (
Rec0 Type)))
:+: (
C1 ('
MetaCons "TcRnUnboxedTupleOrSumTypeFuncArg" '
PrefixI '
False) (
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
NoSourceStrictness '
DecidedLazy) (
Rec0 UnboxedTupleOrSum)
:*: S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
SourceStrict '
DecidedStrict) (
Rec0 Type))
:+: C1 ('
MetaCons "TcRnLinearFuncInKind" '
PrefixI '
False) (
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
SourceStrict '
DecidedStrict) (
Rec0 Type))))
:+: ((
C1 ('
MetaCons "TcRnForAllEscapeError" '
PrefixI '
False) (
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
SourceStrict '
DecidedStrict) (
Rec0 Type)
:*: S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
SourceStrict '
DecidedStrict) (
Rec0 Kind))
:+: C1 ('
MetaCons "TcRnVDQInTermType" '
PrefixI '
False) (
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
SourceStrict '
DecidedStrict) (
Rec0 (
Maybe Type))))
:+: (
C1 ('
MetaCons "TcRnBadQuantPredHead" '
PrefixI '
False) (
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
SourceStrict '
DecidedStrict) (
Rec0 Type))
:+: (
C1 ('
MetaCons "TcRnIllegalTupleConstraint" '
PrefixI '
False) (
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
SourceStrict '
DecidedStrict) (
Rec0 Type))
:+: C1 ('
MetaCons "TcRnNonTypeVarArgInConstraint" '
PrefixI '
False) (
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
SourceStrict '
DecidedStrict) (
Rec0 Type))))))
:+: (((
C1 ('
MetaCons "TcRnIllegalImplicitParam" '
PrefixI '
False) (
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
SourceStrict '
DecidedStrict) (
Rec0 Type))
:+: C1 ('
MetaCons "TcRnIllegalConstraintSynonymOfKind" '
PrefixI '
False) (
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
SourceStrict '
DecidedStrict) (
Rec0 Type)))
:+: (
C1 ('
MetaCons "TcRnOversaturatedVisibleKindArg" '
PrefixI '
False) (
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
SourceStrict '
DecidedStrict) (
Rec0 Type))
:+: (
C1 ('
MetaCons "TcRnForAllRankErr" '
PrefixI '
False) (
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
SourceStrict '
DecidedStrict) (
Rec0 Rank)
:*: S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
SourceStrict '
DecidedStrict) (
Rec0 Type))
:+: C1 ('
MetaCons "TcRnSimplifiableConstraint" '
PrefixI '
False) (
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
SourceStrict '
DecidedStrict) (
Rec0 PredType)
:*: S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
SourceStrict '
DecidedStrict) (
Rec0 InstanceWhat)))))
:+: ((
C1 ('
MetaCons "TcRnArityMismatch" '
PrefixI '
False) (
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
SourceStrict '
DecidedStrict) (
Rec0 TyThing)
:*: (
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
SourceStrict '
DecidedStrict) (
Rec0 Arity)
:*: S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
SourceStrict '
DecidedStrict) (
Rec0 Arity)))
:+: C1 ('
MetaCons "TcRnIllegalInstance" '
PrefixI '
False) (
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
NoSourceStrictness '
DecidedLazy) (
Rec0 IllegalInstanceReason)))
:+: (
C1 ('
MetaCons "TcRnMonomorphicBindings" '
PrefixI '
False) (
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
NoSourceStrictness '
DecidedLazy) (
Rec0 [
Name]))
:+: (
C1 ('
MetaCons "TcRnOrphanInstance" '
PrefixI '
False) (
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
NoSourceStrictness '
DecidedLazy) (
Rec0 (
Either ClsInst FamInst)))
:+: C1 ('
MetaCons "TcRnFunDepConflict" '
PrefixI '
False) (
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
SourceStrict '
DecidedStrict) (
Rec0 UnitState)
:*: S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
NoSourceStrictness '
DecidedLazy) (
Rec0 (
NonEmpty ClsInst))))))))))
:+: ((((((
C1 ('
MetaCons "TcRnDupInstanceDecls" '
PrefixI '
False) (
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
SourceStrict '
DecidedStrict) (
Rec0 UnitState)
:*: S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
NoSourceStrictness '
DecidedLazy) (
Rec0 (
NonEmpty ClsInst)))
:+: C1 ('
MetaCons "TcRnConflictingFamInstDecls" '
PrefixI '
False) (
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
NoSourceStrictness '
DecidedLazy) (
Rec0 (
NonEmpty FamInst))))
:+: (
C1 ('
MetaCons "TcRnFamInstNotInjective" '
PrefixI '
False) (
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
NoSourceStrictness '
DecidedLazy) (
Rec0 InjectivityErrReason)
:*: (
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
NoSourceStrictness '
DecidedLazy) (
Rec0 TyCon)
:*: S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
NoSourceStrictness '
DecidedLazy) (
Rec0 (
NonEmpty CoAxBranch))))
:+: C1 ('
MetaCons "TcRnBangOnUnliftedType" '
PrefixI '
False) (
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
SourceStrict '
DecidedStrict) (
Rec0 Type))))
:+: ((
C1 ('
MetaCons "TcRnLazyBangOnUnliftedType" '
PrefixI '
False) (
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
SourceStrict '
DecidedStrict) (
Rec0 Type))
:+: C1 ('
MetaCons "TcRnMultipleDefaultDeclarations" '
PrefixI '
False) (
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
NoSourceStrictness '
DecidedLazy) (
Rec0 [
LDefaultDecl GhcRn])))
:+: (
C1 ('
MetaCons "TcRnBadDefaultType" '
PrefixI '
False) (
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
NoSourceStrictness '
DecidedLazy) (
Rec0 Type)
:*: S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
NoSourceStrictness '
DecidedLazy) (
Rec0 [
Class]))
:+: (
C1 ('
MetaCons "TcRnPatSynBundledWithNonDataCon" '
PrefixI '
False) (
U1 ::
Type ->
Type)
:+: C1 ('
MetaCons "TcRnPatSynBundledWithWrongType" '
PrefixI '
False) (
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
NoSourceStrictness '
DecidedLazy) (
Rec0 Type)
:*: S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
NoSourceStrictness '
DecidedLazy) (
Rec0 Type))))))
:+: (((
C1 ('
MetaCons "TcRnDupeModuleExport" '
PrefixI '
False) (
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
NoSourceStrictness '
DecidedLazy) (
Rec0 ModuleName))
:+: C1 ('
MetaCons "TcRnExportedModNotImported" '
PrefixI '
False) (
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
NoSourceStrictness '
DecidedLazy) (
Rec0 ModuleName)))
:+: (
C1 ('
MetaCons "TcRnNullExportedModule" '
PrefixI '
False) (
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
NoSourceStrictness '
DecidedLazy) (
Rec0 ModuleName))
:+: C1 ('
MetaCons "TcRnMissingExportList" '
PrefixI '
False) (
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
NoSourceStrictness '
DecidedLazy) (
Rec0 ModuleName))))
:+: ((
C1 ('
MetaCons "TcRnExportHiddenComponents" '
PrefixI '
False) (
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
NoSourceStrictness '
DecidedLazy) (
Rec0 (
IE GhcPs)))
:+: C1 ('
MetaCons "TcRnDuplicateExport" '
PrefixI '
False) (
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
NoSourceStrictness '
DecidedLazy) (
Rec0 GlobalRdrElt)
:*: (
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
NoSourceStrictness '
DecidedLazy) (
Rec0 (
IE GhcPs))
:*: S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
NoSourceStrictness '
DecidedLazy) (
Rec0 (
IE GhcPs)))))
:+: (
C1 ('
MetaCons "TcRnExportedParentChildMismatch" '
PrefixI '
False) ((
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
NoSourceStrictness '
DecidedLazy) (
Rec0 Name)
:*: S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
NoSourceStrictness '
DecidedLazy) (
Rec0 TyThing))
:*: (
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
NoSourceStrictness '
DecidedLazy) (
Rec0 Name)
:*: S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
NoSourceStrictness '
DecidedLazy) (
Rec0 [
Name])))
:+: (
C1 ('
MetaCons "TcRnConflictingExports" '
PrefixI '
False) ((
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
NoSourceStrictness '
DecidedLazy) (
Rec0 OccName)
:*: S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
NoSourceStrictness '
DecidedLazy) (
Rec0 GlobalRdrElt))
:*: (
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
NoSourceStrictness '
DecidedLazy) (
Rec0 (
IE GhcPs))
:*: (
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
NoSourceStrictness '
DecidedLazy) (
Rec0 GlobalRdrElt)
:*: S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
NoSourceStrictness '
DecidedLazy) (
Rec0 (
IE GhcPs)))))
:+: C1 ('
MetaCons "TcRnDuplicateFieldExport" '
PrefixI '
False) (
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
NoSourceStrictness '
DecidedLazy) (
Rec0 (
GlobalRdrElt,
IE GhcPs))
:*: S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
NoSourceStrictness '
DecidedLazy) (
Rec0 (
NonEmpty (
GlobalRdrElt,
IE GhcPs)))))))))
:+: ((((
C1 ('
MetaCons "TcRnAmbiguousRecordUpdate" '
PrefixI '
False) (
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
NoSourceStrictness '
DecidedLazy) (
Rec0 (
HsExpr GhcRn))
:*: S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
NoSourceStrictness '
DecidedLazy) (
Rec0 TyCon))
:+: C1 ('
MetaCons "TcRnMissingFields" '
PrefixI '
False) (
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
NoSourceStrictness '
DecidedLazy) (
Rec0 ConLike)
:*: S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
NoSourceStrictness '
DecidedLazy) (
Rec0 [(
FieldLabelString,
TcType)])))
:+: (
C1 ('
MetaCons "TcRnFieldUpdateInvalidType" '
PrefixI '
False) (
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
NoSourceStrictness '
DecidedLazy) (
Rec0 [(
FieldLabelString,
TcType)]))
:+: C1 ('
MetaCons "TcRnMissingStrictFields" '
PrefixI '
False) (
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
NoSourceStrictness '
DecidedLazy) (
Rec0 ConLike)
:*: S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
NoSourceStrictness '
DecidedLazy) (
Rec0 [(
FieldLabelString,
TcType)]))))
:+: ((
C1 ('
MetaCons "TcRnAmbiguousFieldInUpdate" '
PrefixI '
False) (
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
NoSourceStrictness '
DecidedLazy) (
Rec0 (
GlobalRdrElt,
GlobalRdrElt, [
GlobalRdrElt])))
:+: C1 ('
MetaCons "TcRnBadRecordUpdate" '
PrefixI '
False) (
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
NoSourceStrictness '
DecidedLazy) (
Rec0 [
RdrName])
:*: S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
NoSourceStrictness '
DecidedLazy) (
Rec0 BadRecordUpdateReason)))
:+: (
C1 ('
MetaCons "TcRnStaticFormNotClosed" '
PrefixI '
False) (
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
NoSourceStrictness '
DecidedLazy) (
Rec0 Name)
:*: S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
NoSourceStrictness '
DecidedLazy) (
Rec0 NotClosedReason))
:+: (
C1 ('
MetaCons "TcRnUselessTypeable" '
PrefixI '
False) (
U1 ::
Type ->
Type)
:+: C1 ('
MetaCons "TcRnDerivingDefaults" '
PrefixI '
False) (
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
SourceStrict '
DecidedStrict) (
Rec0 Class))))))
:+: (((
C1 ('
MetaCons "TcRnNonUnaryTypeclassConstraint" '
PrefixI '
False) (
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
SourceStrict '
DecidedStrict) (
Rec0 (
LHsSigType GhcRn)))
:+: C1 ('
MetaCons "TcRnPartialTypeSignatures" '
PrefixI '
False) (
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
SourceStrict '
DecidedStrict) (
Rec0 SuggestPartialTypeSignatures)
:*: S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
SourceStrict '
DecidedStrict) (
Rec0 ThetaType)))
:+: (
C1 ('
MetaCons "TcRnCannotDeriveInstance" '
PrefixI '
False) ((
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
SourceStrict '
DecidedStrict) (
Rec0 Class)
:*: S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
NoSourceStrictness '
DecidedLazy) (
Rec0 [
Type]))
:*: (
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
SourceStrict '
DecidedStrict) (
Rec0 (
Maybe (
DerivStrategy GhcTc)))
:*: (
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
SourceStrict '
DecidedStrict) (
Rec0 UsingGeneralizedNewtypeDeriving)
:*: S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
SourceStrict '
DecidedStrict) (
Rec0 DeriveInstanceErrReason))))
:+: (
C1 ('
MetaCons "TcRnLazyGADTPattern" '
PrefixI '
False) (
U1 ::
Type ->
Type)
:+: C1 ('
MetaCons "TcRnArrowProcGADTPattern" '
PrefixI '
False) (
U1 ::
Type ->
Type))))
:+: ((
C1 ('
MetaCons "TcRnCapturedTermName" '
PrefixI '
False) (
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
NoSourceStrictness '
DecidedLazy) (
Rec0 RdrName)
:*: S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
NoSourceStrictness '
DecidedLazy) (
Rec0 (
Either [
GlobalRdrElt]
Name)))
:+: C1 ('
MetaCons "TcRnTypeEqualityOutOfScope" '
PrefixI '
False) (
U1 ::
Type ->
Type))
:+: (
C1 ('
MetaCons "TcRnTypeEqualityRequiresOperators" '
PrefixI '
False) (
U1 ::
Type ->
Type)
:+: (
C1 ('
MetaCons "TcRnIllegalTypeOperator" '
PrefixI '
False) (
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
SourceStrict '
DecidedStrict) (
Rec0 SDoc)
:*: S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
SourceStrict '
DecidedStrict) (
Rec0 RdrName))
:+: C1 ('
MetaCons "TcRnIllegalTypeOperatorDecl" '
PrefixI '
False) (
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
SourceStrict '
DecidedStrict) (
Rec0 RdrName))))))))
:+: (((((
C1 ('
MetaCons "TcRnGADTMonoLocalBinds" '
PrefixI '
False) (
U1 ::
Type ->
Type)
:+: C1 ('
MetaCons "TcRnNotInScope" '
PrefixI '
False) ((
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
NoSourceStrictness '
DecidedLazy) (
Rec0 NotInScopeError)
:*: S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
NoSourceStrictness '
DecidedLazy) (
Rec0 RdrName))
:*: (
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
NoSourceStrictness '
DecidedLazy) (
Rec0 [
ImportError])
:*: S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
NoSourceStrictness '
DecidedLazy) (
Rec0 [
GhcHint]))))
:+: (
C1 ('
MetaCons "TcRnTermNameInType" '
PrefixI '
False) (
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
NoSourceStrictness '
DecidedLazy) (
Rec0 RdrName)
:*: S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
NoSourceStrictness '
DecidedLazy) (
Rec0 [
GhcHint]))
:+: C1 ('
MetaCons "TcRnUntickedPromotedThing" '
PrefixI '
False) (
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
NoSourceStrictness '
DecidedLazy) (
Rec0 UntickedPromotedThing))))
:+: ((
C1 ('
MetaCons "TcRnIllegalBuiltinSyntax" '
PrefixI '
False) (
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
NoSourceStrictness '
DecidedLazy) (
Rec0 SDoc)
:*: S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
NoSourceStrictness '
DecidedLazy) (
Rec0 RdrName))
:+: C1 ('
MetaCons "TcRnWarnDefaulting" '
PrefixI '
False) (
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
NoSourceStrictness '
DecidedLazy) (
Rec0 [
Ct])
:*: (
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
NoSourceStrictness '
DecidedLazy) (
Rec0 (
Maybe TyVar))
:*: S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
NoSourceStrictness '
DecidedLazy) (
Rec0 Type))))
:+: (
C1 ('
MetaCons "TcRnIncorrectNameSpace" '
PrefixI '
False) (
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
NoSourceStrictness '
DecidedLazy) (
Rec0 Name)
:*: S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
NoSourceStrictness '
DecidedLazy) (
Rec0 Bool))
:+: (
C1 ('
MetaCons "TcRnForeignImportPrimExtNotSet" '
PrefixI '
False) (
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
NoSourceStrictness '
DecidedLazy) (
Rec0 (
ForeignImport GhcRn)))
:+: C1 ('
MetaCons "TcRnForeignImportPrimSafeAnn" '
PrefixI '
False) (
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
NoSourceStrictness '
DecidedLazy) (
Rec0 (
ForeignImport GhcRn)))))))
:+: (((
C1 ('
MetaCons "TcRnForeignFunctionImportAsValue" '
PrefixI '
False) (
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
NoSourceStrictness '
DecidedLazy) (
Rec0 (
ForeignImport GhcRn)))
:+: C1 ('
MetaCons "TcRnFunPtrImportWithoutAmpersand" '
PrefixI '
False) (
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
NoSourceStrictness '
DecidedLazy) (
Rec0 (
ForeignImport GhcRn))))
:+: (
C1 ('
MetaCons "TcRnIllegalForeignDeclBackend" '
PrefixI '
False) (
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
NoSourceStrictness '
DecidedLazy) (
Rec0 (
Either (
ForeignExport GhcRn) (
ForeignImport GhcRn)))
:*: (
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
NoSourceStrictness '
DecidedLazy) (
Rec0 Backend)
:*: S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
NoSourceStrictness '
DecidedLazy) (
Rec0 ExpectedBackends)))
:+: C1 ('
MetaCons "TcRnUnsupportedCallConv" '
PrefixI '
False) (
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
NoSourceStrictness '
DecidedLazy) (
Rec0 (
Either (
ForeignExport GhcRn) (
ForeignImport GhcRn)))
:*: S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
NoSourceStrictness '
DecidedLazy) (
Rec0 UnsupportedCallConvention))))
:+: ((
C1 ('
MetaCons "TcRnIllegalForeignType" '
PrefixI '
False) (
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
SourceStrict '
DecidedStrict) (
Rec0 (
Maybe ArgOrResult))
:*: S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
SourceStrict '
DecidedStrict) (
Rec0 IllegalForeignTypeReason))
:+: C1 ('
MetaCons "TcRnInvalidCIdentifier" '
PrefixI '
False) (
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
SourceStrict '
DecidedStrict) (
Rec0 CLabelString)))
:+: (
C1 ('
MetaCons "TcRnExpectedValueId" '
PrefixI '
False) (
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
SourceStrict '
DecidedStrict) (
Rec0 TcTyThing))
:+: (
C1 ('
MetaCons "TcRnRecSelectorEscapedTyVar" '
PrefixI '
False) (
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
SourceStrict '
DecidedStrict) (
Rec0 OccName))
:+: C1 ('
MetaCons "TcRnPatSynNotBidirectional" '
PrefixI '
False) (
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
SourceStrict '
DecidedStrict) (
Rec0 Name)))))))
:+: ((((
C1 ('
MetaCons "TcRnIllegalDerivingItem" '
PrefixI '
False) (
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
SourceStrict '
DecidedStrict) (
Rec0 (
LHsSigType GhcRn)))
:+: C1 ('
MetaCons "TcRnUnexpectedAnnotation" '
PrefixI '
False) (
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
SourceStrict '
DecidedStrict) (
Rec0 (
HsType GhcRn))
:*: S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
SourceStrict '
DecidedStrict) (
Rec0 HsSrcBang)))
:+: (
C1 ('
MetaCons "TcRnIllegalRecordSyntax" '
PrefixI '
False) (
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
NoSourceStrictness '
DecidedLazy) (
Rec0 (
Either (
HsType GhcPs) (
HsType GhcRn))))
:+: C1 ('
MetaCons "TcRnInvalidVisibleKindArgument" '
PrefixI '
False) (
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
SourceStrict '
DecidedStrict) (
Rec0 (
LHsType GhcRn))
:*: S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
SourceStrict '
DecidedStrict) (
Rec0 Type))))
:+: ((
C1 ('
MetaCons "TcRnTooManyBinders" '
PrefixI '
False) (
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
SourceStrict '
DecidedStrict) (
Rec0 Kind)
:*: S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
SourceStrict '
DecidedStrict) (
Rec0 [
LHsTyVarBndr (
HsBndrVis GhcRn)
GhcRn]))
:+: C1 ('
MetaCons "TcRnDifferentNamesForTyVar" '
PrefixI '
False) (
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
SourceStrict '
DecidedStrict) (
Rec0 Name)
:*: S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
SourceStrict '
DecidedStrict) (
Rec0 Name)))
:+: (
C1 ('
MetaCons "TcRnDisconnectedTyVar" '
PrefixI '
False) (
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
SourceStrict '
DecidedStrict) (
Rec0 Name))
:+: (
C1 ('
MetaCons "TcRnInvalidReturnKind" '
PrefixI '
False) ((
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
SourceStrict '
DecidedStrict) (
Rec0 DataSort)
:*: S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
SourceStrict '
DecidedStrict) (
Rec0 AllowedDataResKind))
:*: (
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
SourceStrict '
DecidedStrict) (
Rec0 Kind)
:*: S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
SourceStrict '
DecidedStrict) (
Rec0 (
Maybe SuggestUnliftedTypes))))
:+: C1 ('
MetaCons "TcRnUnexpectedKindVar" '
PrefixI '
False) (
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
NoSourceStrictness '
DecidedLazy) (
Rec0 RdrName))))))
:+: (((
C1 ('
MetaCons "TcRnIllegalKind" '
PrefixI '
False) (
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
NoSourceStrictness '
DecidedLazy) (
Rec0 (
HsTypeOrSigType GhcPs))
:*: S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
NoSourceStrictness '
DecidedLazy) (
Rec0 Bool))
:+: C1 ('
MetaCons "TcRnClassKindNotConstraint" '
PrefixI '
False) (
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
SourceStrict '
DecidedStrict) (
Rec0 Kind)))
:+: (
C1 ('
MetaCons "TcRnUnpromotableThing" '
PrefixI '
False) (
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
SourceStrict '
DecidedStrict) (
Rec0 Name)
:*: S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
SourceStrict '
DecidedStrict) (
Rec0 PromotionErr))
:+: (
C1 ('
MetaCons "TcRnIllegalTermLevelUse" '
PrefixI '
False) (
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
SourceStrict '
DecidedStrict) (
Rec0 Name)
:*: S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
SourceStrict '
DecidedStrict) (
Rec0 TermLevelUseErr))
:+: C1 ('
MetaCons "TcRnMatchesHaveDiffNumArgs" '
PrefixI '
False) (
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
SourceStrict '
DecidedStrict) (
Rec0 HsMatchContextRn)
:*: S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
SourceStrict '
DecidedStrict) (
Rec0 MatchArgBadMatches)))))
:+: ((
C1 ('
MetaCons "TcRnUnexpectedPatSigType" '
PrefixI '
False) (
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
NoSourceStrictness '
DecidedLazy) (
Rec0 (
HsPatSigType GhcPs)))
:+: C1 ('
MetaCons "TcRnIllegalKindSignature" '
PrefixI '
False) (
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
NoSourceStrictness '
DecidedLazy) (
Rec0 (
HsType GhcPs))))
:+: (
C1 ('
MetaCons "TcRnDataKindsError" '
PrefixI '
False) (
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
NoSourceStrictness '
DecidedLazy) (
Rec0 TypeOrKind)
:*: S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
NoSourceStrictness '
DecidedLazy) (
Rec0 (
Either (
HsType GhcPs)
Type)))
:+: (
C1 ('
MetaCons "TcRnCannotBindScopedTyVarInPatSig" '
PrefixI '
False) (
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
SourceStrict '
DecidedStrict) (
Rec0 (
NonEmpty (
Name,
TcTyVar))))
:+: C1 ('
MetaCons "TcRnCannotBindTyVarsInPatBind" '
PrefixI '
False) (
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
SourceStrict '
DecidedStrict) (
Rec0 (
NonEmpty (
Name,
TcTyVar))))))))))))
:+: (((((((
C1 ('
MetaCons "TcRnTooManyTyArgsInConPattern" '
PrefixI '
False) (
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
SourceStrict '
DecidedStrict) (
Rec0 ConLike)
:*: (
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
SourceStrict '
DecidedStrict) (
Rec0 Int)
:*: S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
SourceStrict '
DecidedStrict) (
Rec0 Int)))
:+: C1 ('
MetaCons "TcRnMultipleInlinePragmas" '
PrefixI '
False) (
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
SourceStrict '
DecidedStrict) (
Rec0 Id)
:*: (
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
SourceStrict '
DecidedStrict) (
Rec0 (
LocatedA InlinePragma))
:*: S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
SourceStrict '
DecidedStrict) (
Rec0 (
NonEmpty (
LocatedA InlinePragma))))))
:+: (
C1 ('
MetaCons "TcRnUnexpectedPragmas" '
PrefixI '
False) (
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
SourceStrict '
DecidedStrict) (
Rec0 Id)
:*: S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
SourceStrict '
DecidedStrict) (
Rec0 (
NonEmpty (
LSig GhcRn))))
:+: C1 ('
MetaCons "TcRnNonOverloadedSpecialisePragma" '
PrefixI '
False) (
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
SourceStrict '
DecidedStrict) (
Rec0 (
LIdP GhcRn)))))
:+: ((
C1 ('
MetaCons "TcRnSpecialiseNotVisible" '
PrefixI '
False) (
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
SourceStrict '
DecidedStrict) (
Rec0 Name))
:+: C1 ('
MetaCons "TcRnPragmaWarning" '
PrefixI '
True) (
S1 ('
MetaSel ('
Just "pragma_warning_info") '
NoSourceUnpackedness '
NoSourceStrictness '
DecidedLazy) (
Rec0 PragmaWarningInfo)
:*: S1 ('
MetaSel ('
Just "pragma_warning_msg") '
NoSourceUnpackedness '
NoSourceStrictness '
DecidedLazy) (
Rec0 (
WarningTxt GhcRn))))
:+: (
C1 ('
MetaCons "TcRnDifferentExportWarnings" '
PrefixI '
False) (
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
SourceStrict '
DecidedStrict) (
Rec0 Name)
:*: S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
NoSourceStrictness '
DecidedLazy) (
Rec0 (
NonEmpty SrcSpan)))
:+: (
C1 ('
MetaCons "TcRnIncompleteExportWarnings" '
PrefixI '
False) (
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
SourceStrict '
DecidedStrict) (
Rec0 Name)
:*: S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
NoSourceStrictness '
DecidedLazy) (
Rec0 (
NonEmpty SrcSpan)))
:+: C1 ('
MetaCons "TcRnIllegalHsigDefaultMethods" '
PrefixI '
False) (
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
SourceStrict '
DecidedStrict) (
Rec0 Name)
:*: S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
NoSourceStrictness '
DecidedLazy) (
Rec0 (
NonEmpty (
LHsBind GhcRn))))))))
:+: (((
C1 ('
MetaCons "TcRnHsigFixityMismatch" '
PrefixI '
False) (
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
SourceStrict '
DecidedStrict) (
Rec0 TyThing)
:*: (
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
SourceStrict '
DecidedStrict) (
Rec0 Fixity)
:*: S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
SourceStrict '
DecidedStrict) (
Rec0 Fixity)))
:+: C1 ('
MetaCons "TcRnHsigShapeMismatch" '
PrefixI '
False) (
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
SourceStrict '
DecidedStrict) (
Rec0 HsigShapeMismatchReason)))
:+: (
C1 ('
MetaCons "TcRnHsigMissingModuleExport" '
PrefixI '
False) (
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
SourceStrict '
DecidedStrict) (
Rec0 OccName)
:*: (
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
SourceStrict '
DecidedStrict) (
Rec0 UnitState)
:*: S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
SourceStrict '
DecidedStrict) (
Rec0 Module)))
:+: C1 ('
MetaCons "TcRnBadGenericMethod" '
PrefixI '
False) (
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
SourceStrict '
DecidedStrict) (
Rec0 Name)
:*: S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
SourceStrict '
DecidedStrict) (
Rec0 Name))))
:+: ((
C1 ('
MetaCons "TcRnWarningMinimalDefIncomplete" '
PrefixI '
False) (
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
NoSourceStrictness '
DecidedLazy) (
Rec0 ClassMinimalDef))
:+: C1 ('
MetaCons "TcRnIllegalQuasiQuotes" '
PrefixI '
False) (
U1 ::
Type ->
Type))
:+: (
C1 ('
MetaCons "TcRnTHError" '
PrefixI '
False) (
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
NoSourceStrictness '
DecidedLazy) (
Rec0 THError))
:+: (
C1 ('
MetaCons "TcRnDefaultMethodForPragmaLacksBinding" '
PrefixI '
False) (
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
NoSourceStrictness '
DecidedLazy) (
Rec0 Id)
:*: S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
NoSourceStrictness '
DecidedLazy) (
Rec0 (
Sig GhcRn)))
:+: C1 ('
MetaCons "TcRnIgnoreSpecialisePragmaOnDefMethod" '
PrefixI '
False) (
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
SourceStrict '
DecidedStrict) (
Rec0 Name)))))))
:+: ((((
C1 ('
MetaCons "TcRnBadMethodErr" '
PrefixI '
True) (
S1 ('
MetaSel ('
Just "badMethodErrClassName") '
NoSourceUnpackedness '
SourceStrict '
DecidedStrict) (
Rec0 Name)
:*: S1 ('
MetaSel ('
Just "badMethodErrMethodName") '
NoSourceUnpackedness '
SourceStrict '
DecidedStrict) (
Rec0 Name))
:+: C1 ('
MetaCons "TcRnIllegalNewtype" '
PrefixI '
False) (
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
NoSourceStrictness '
DecidedLazy) (
Rec0 DataCon)
:*: (
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
NoSourceStrictness '
DecidedLazy) (
Rec0 Bool)
:*: S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
NoSourceStrictness '
DecidedLazy) (
Rec0 IllegalNewtypeReason))))
:+: (
C1 ('
MetaCons "TcRnIllegalTypeData" '
PrefixI '
False) (
U1 ::
Type ->
Type)
:+: C1 ('
MetaCons "TcRnTypeDataForbids" '
PrefixI '
False) (
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
SourceStrict '
DecidedStrict) (
Rec0 TypeDataForbids))))
:+: ((
C1 ('
MetaCons "TcRnUnsatisfiedMinimalDef" '
PrefixI '
False) (
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
NoSourceStrictness '
DecidedLazy) (
Rec0 ClassMinimalDef))
:+: C1 ('
MetaCons "TcRnMisplacedInstSig" '
PrefixI '
False) (
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
NoSourceStrictness '
DecidedLazy) (
Rec0 Name)
:*: S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
NoSourceStrictness '
DecidedLazy) (
Rec0 (
LHsSigType GhcRn))))
:+: (
C1 ('
MetaCons "TcRnNoRebindableSyntaxRecordDot" '
PrefixI '
False) (
U1 ::
Type ->
Type)
:+: (
C1 ('
MetaCons "TcRnNoFieldPunsRecordDot" '
PrefixI '
False) (
U1 ::
Type ->
Type)
:+: C1 ('
MetaCons "TcRnIllegalStaticExpression" '
PrefixI '
False) (
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
NoSourceStrictness '
DecidedLazy) (
Rec0 (
HsExpr GhcPs)))))))
:+: (((
C1 ('
MetaCons "TcRnListComprehensionDuplicateBinding" '
PrefixI '
False) (
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
NoSourceStrictness '
DecidedLazy) (
Rec0 Name))
:+: C1 ('
MetaCons "TcRnEmptyStmtsGroup" '
PrefixI '
False) (
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
NoSourceStrictness '
DecidedLazy) (
Rec0 EmptyStatementGroupErrReason)))
:+: (
C1 ('
MetaCons "TcRnLastStmtNotExpr" '
PrefixI '
False) (
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
NoSourceStrictness '
DecidedLazy) (
Rec0 HsStmtContextRn)
:*: S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
NoSourceStrictness '
DecidedLazy) (
Rec0 UnexpectedStatement))
:+: C1 ('
MetaCons "TcRnUnexpectedStatementInContext" '
PrefixI '
False) (
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
NoSourceStrictness '
DecidedLazy) (
Rec0 HsStmtContextRn)
:*: (
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
NoSourceStrictness '
DecidedLazy) (
Rec0 UnexpectedStatement)
:*: S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
NoSourceStrictness '
DecidedLazy) (
Rec0 (
Maybe Extension))))))
:+: ((
C1 ('
MetaCons "TcRnIllegalTupleSection" '
PrefixI '
False) (
U1 ::
Type ->
Type)
:+: C1 ('
MetaCons "TcRnIllegalImplicitParameterBindings" '
PrefixI '
False) (
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
NoSourceStrictness '
DecidedLazy) (
Rec0 (
Either (
HsLocalBindsLR GhcPs GhcPs) (
HsLocalBindsLR GhcRn GhcPs)))))
:+: (
C1 ('
MetaCons "TcRnSectionWithoutParentheses" '
PrefixI '
False) (
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
NoSourceStrictness '
DecidedLazy) (
Rec0 (
HsExpr GhcPs)))
:+: (
C1 ('
MetaCons "TcRnBindingOfExistingName" '
PrefixI '
False) (
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
NoSourceStrictness '
DecidedLazy) (
Rec0 RdrName))
:+: C1 ('
MetaCons "TcRnMultipleFixityDecls" '
PrefixI '
False) (
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
NoSourceStrictness '
DecidedLazy) (
Rec0 SrcSpan)
:*: S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
NoSourceStrictness '
DecidedLazy) (
Rec0 RdrName))))))))
:+: (((((
C1 ('
MetaCons "TcRnIllegalPatternSynonymDecl" '
PrefixI '
False) (
U1 ::
Type ->
Type)
:+: C1 ('
MetaCons "TcRnIllegalClassBinding" '
PrefixI '
False) (
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
NoSourceStrictness '
DecidedLazy) (
Rec0 DeclSort)
:*: S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
NoSourceStrictness '
DecidedLazy) (
Rec0 (
HsBindLR GhcPs GhcPs))))
:+: (
C1 ('
MetaCons "TcRnOrphanCompletePragma" '
PrefixI '
False) (
U1 ::
Type ->
Type)
:+: C1 ('
MetaCons "TcRnEmptyCase" '
PrefixI '
False) (
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
NoSourceStrictness '
DecidedLazy) (
Rec0 HsMatchContextRn))))
:+: ((
C1 ('
MetaCons "TcRnNonStdGuards" '
PrefixI '
False) (
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
NoSourceStrictness '
DecidedLazy) (
Rec0 NonStandardGuards))
:+: C1 ('
MetaCons "TcRnDuplicateSigDecl" '
PrefixI '
False) (
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
NoSourceStrictness '
DecidedLazy) (
Rec0 (
NonEmpty (
LocatedN RdrName,
Sig GhcPs)))))
:+: (
C1 ('
MetaCons "TcRnMisplacedSigDecl" '
PrefixI '
False) (
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
NoSourceStrictness '
DecidedLazy) (
Rec0 (
Sig GhcRn)))
:+: (
C1 ('
MetaCons "TcRnUnexpectedDefaultSig" '
PrefixI '
False) (
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
NoSourceStrictness '
DecidedLazy) (
Rec0 (
Sig GhcPs)))
:+: C1 ('
MetaCons "TcRnDuplicateMinimalSig" '
PrefixI '
False) (
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
NoSourceStrictness '
DecidedLazy) (
Rec0 (
LSig GhcPs))
:*: (
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
NoSourceStrictness '
DecidedLazy) (
Rec0 (
LSig GhcPs))
:*: S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
NoSourceStrictness '
DecidedLazy) (
Rec0 [
LSig GhcPs])))))))
:+: (((
C1 ('
MetaCons "TcRnIllegalInvisTyVarBndr" '
PrefixI '
False) (
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
SourceStrict '
DecidedStrict) (
Rec0 (
LHsTyVarBndr (
HsBndrVis GhcRn)
GhcRn)))
:+: C1 ('
MetaCons "TcRnInvalidInvisTyVarBndr" '
PrefixI '
False) (
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
SourceStrict '
DecidedStrict) (
Rec0 Name)
:*: S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
SourceStrict '
DecidedStrict) (
Rec0 (
LHsTyVarBndr (
HsBndrVis GhcRn)
GhcRn))))
:+: (
C1 ('
MetaCons "TcRnInvisBndrWithoutSig" '
PrefixI '
False) (
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
SourceStrict '
DecidedStrict) (
Rec0 Name)
:*: S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
SourceStrict '
DecidedStrict) (
Rec0 (
LHsTyVarBndr (
HsBndrVis GhcRn)
GhcRn)))
:+: C1 ('
MetaCons "TcRnDeprecatedInvisTyArgInConPat" '
PrefixI '
False) (
U1 ::
Type ->
Type)))
:+: ((
C1 ('
MetaCons "TcRnUnexpectedStandaloneDerivingDecl" '
PrefixI '
False) (
U1 ::
Type ->
Type)
:+: C1 ('
MetaCons "TcRnUnusedVariableInRuleDecl" '
PrefixI '
False) (
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
NoSourceStrictness '
DecidedLazy) (
Rec0 FastString)
:*: S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
NoSourceStrictness '
DecidedLazy) (
Rec0 Name)))
:+: (
C1 ('
MetaCons "TcRnUnexpectedStandaloneKindSig" '
PrefixI '
False) (
U1 ::
Type ->
Type)
:+: (
C1 ('
MetaCons "TcRnIllegalRuleLhs" '
PrefixI '
False) ((
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
NoSourceStrictness '
DecidedLazy) (
Rec0 RuleLhsErrReason)
:*: S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
NoSourceStrictness '
DecidedLazy) (
Rec0 FastString))
:*: (
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
NoSourceStrictness '
DecidedLazy) (
Rec0 (
LHsExpr GhcRn))
:*: S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
NoSourceStrictness '
DecidedLazy) (
Rec0 (
HsExpr GhcRn))))
:+: C1 ('
MetaCons "TcRnDuplicateRoleAnnot" '
PrefixI '
False) (
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
NoSourceStrictness '
DecidedLazy) (
Rec0 (
NonEmpty (
LRoleAnnotDecl GhcPs)))))))))
:+: ((((
C1 ('
MetaCons "TcRnDuplicateKindSig" '
PrefixI '
False) (
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
NoSourceStrictness '
DecidedLazy) (
Rec0 (
NonEmpty (
LStandaloneKindSig GhcPs))))
:+: C1 ('
MetaCons "TcRnIllegalDerivStrategy" '
PrefixI '
False) (
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
NoSourceStrictness '
DecidedLazy) (
Rec0 (
DerivStrategy GhcPs))))
:+: (
C1 ('
MetaCons "TcRnIllegalMultipleDerivClauses" '
PrefixI '
False) (
U1 ::
Type ->
Type)
:+: C1 ('
MetaCons "TcRnNoDerivStratSpecified" '
PrefixI '
False) (
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
NoSourceStrictness '
DecidedLazy) (
Rec0 Bool))))
:+: ((
C1 ('
MetaCons "TcRnStupidThetaInGadt" '
PrefixI '
False) (
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
NoSourceStrictness '
DecidedLazy) (
Rec0 HsDocContext))
:+: C1 ('
MetaCons "TcRnShadowedTyVarNameInFamResult" '
PrefixI '
False) (
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
NoSourceStrictness '
DecidedLazy) (
Rec0 (
IdP GhcPs))))
:+: (
C1 ('
MetaCons "TcRnIncorrectTyVarOnLhsOfInjCond" '
PrefixI '
False) (
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
NoSourceStrictness '
DecidedLazy) (
Rec0 (
IdP GhcRn))
:*: S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
NoSourceStrictness '
DecidedLazy) (
Rec0 (
LIdP GhcPs)))
:+: (
C1 ('
MetaCons "TcRnUnknownTyVarsOnRhsOfInjCond" '
PrefixI '
False) (
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
NoSourceStrictness '
DecidedLazy) (
Rec0 [
Name]))
:+: C1 ('
MetaCons "TcRnLookupInstance" '
PrefixI '
False) (
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
SourceStrict '
DecidedStrict) (
Rec0 Class)
:*: (
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
SourceStrict '
DecidedStrict) (
Rec0 [
Type])
:*: S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
SourceStrict '
DecidedStrict) (
Rec0 LookupInstanceErrReason)))))))
:+: (((
C1 ('
MetaCons "TcRnBadlyStaged" '
PrefixI '
False) (
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
SourceStrict '
DecidedStrict) (
Rec0 StageCheckReason)
:*: (
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
SourceStrict '
DecidedStrict) (
Rec0 Int)
:*: S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
SourceStrict '
DecidedStrict) (
Rec0 Int)))
:+: C1 ('
MetaCons "TcRnStageRestriction" '
PrefixI '
False) (
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
SourceStrict '
DecidedStrict) (
Rec0 StageCheckReason)))
:+: (
C1 ('
MetaCons "TcRnBadlyStagedType" '
PrefixI '
False) (
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
SourceStrict '
DecidedStrict) (
Rec0 Name)
:*: (
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
SourceStrict '
DecidedStrict) (
Rec0 Int)
:*: S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
SourceStrict '
DecidedStrict) (
Rec0 Int)))
:+: (
C1 ('
MetaCons "TcRnTyThingUsedWrong" '
PrefixI '
False) (
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
SourceStrict '
DecidedStrict) (
Rec0 WrongThingSort)
:*: (
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
SourceStrict '
DecidedStrict) (
Rec0 TcTyThing)
:*: S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
SourceStrict '
DecidedStrict) (
Rec0 Name)))
:+: C1 ('
MetaCons "TcRnCannotDefaultKindVar" '
PrefixI '
False) (
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
SourceStrict '
DecidedStrict) (
Rec0 TyVar)
:*: S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
SourceStrict '
DecidedStrict) (
Rec0 Kind)))))
:+: ((
C1 ('
MetaCons "TcRnUninferrableTyVar" '
PrefixI '
False) (
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
SourceStrict '
DecidedStrict) (
Rec0 [
TyCoVar])
:*: S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
SourceStrict '
DecidedStrict) (
Rec0 UninferrableTyVarCtx))
:+: C1 ('
MetaCons "TcRnSkolemEscape" '
PrefixI '
False) (
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
SourceStrict '
DecidedStrict) (
Rec0 [
TcTyVar])
:*: (
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
SourceStrict '
DecidedStrict) (
Rec0 TcTyVar)
:*: S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
SourceStrict '
DecidedStrict) (
Rec0 Type))))
:+: (
C1 ('
MetaCons "TcRnPatSynEscapedCoercion" '
PrefixI '
False) (
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
SourceStrict '
DecidedStrict) (
Rec0 Id)
:*: S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
SourceStrict '
DecidedStrict) (
Rec0 (
NonEmpty CoVar)))
:+: (
C1 ('
MetaCons "TcRnPatSynExistentialInResult" '
PrefixI '
False) (
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
SourceStrict '
DecidedStrict) (
Rec0 Name)
:*: (
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
SourceStrict '
DecidedStrict) (
Rec0 TcSigmaType)
:*: S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
SourceStrict '
DecidedStrict) (
Rec0 [
TyVar])))
:+: C1 ('
MetaCons "TcRnPatSynArityMismatch" '
PrefixI '
False) (
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
SourceStrict '
DecidedStrict) (
Rec0 Name)
:*: (
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
SourceStrict '
DecidedStrict) (
Rec0 Arity)
:*: S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
SourceStrict '
DecidedStrict) (
Rec0 Arity))))))))))
:+: ((((((
C1 ('
MetaCons "TcRnPatSynInvalidRhs" '
PrefixI '
False) ((
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
SourceStrict '
DecidedStrict) (
Rec0 Name)
:*: S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
SourceStrict '
DecidedStrict) (
Rec0 (
LPat GhcRn)))
:*: (
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
SourceStrict '
DecidedStrict) (
Rec0 [
LIdP GhcRn])
:*: S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
SourceStrict '
DecidedStrict) (
Rec0 PatSynInvalidRhsReason)))
:+: C1 ('
MetaCons "TcRnZonkerMessage" '
PrefixI '
False) (
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
NoSourceStrictness '
DecidedLazy) (
Rec0 ZonkerMessage)))
:+: (
C1 ('
MetaCons "TcRnTyFamDepsDisabled" '
PrefixI '
False) (
U1 ::
Type ->
Type)
:+: C1 ('
MetaCons "TcRnAbstractClosedTyFamDecl" '
PrefixI '
False) (
U1 ::
Type ->
Type)))
:+: ((
C1 ('
MetaCons "TcRnPartialFieldSelector" '
PrefixI '
False) (
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
SourceStrict '
DecidedStrict) (
Rec0 FieldLabel))
:+: C1 ('
MetaCons "TcRnHasFieldResolvedIncomplete" '
PrefixI '
False) (
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
SourceStrict '
DecidedStrict) (
Rec0 Name)))
:+: (
C1 ('
MetaCons "TcRnBadFieldAnnotation" '
PrefixI '
False) (
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
SourceStrict '
DecidedStrict) (
Rec0 Int)
:*: (
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
SourceStrict '
DecidedStrict) (
Rec0 DataCon)
:*: S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
SourceStrict '
DecidedStrict) (
Rec0 BadFieldAnnotationReason)))
:+: (
C1 ('
MetaCons "TcRnSuperclassCycle" '
PrefixI '
False) (
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
SourceStrict '
DecidedStrict) (
Rec0 SuperclassCycle))
:+: C1 ('
MetaCons "TcRnDefaultSigMismatch" '
PrefixI '
False) (
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
SourceStrict '
DecidedStrict) (
Rec0 Id)
:*: S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
SourceStrict '
DecidedStrict) (
Rec0 Type))))))
:+: (((
C1 ('
MetaCons "TcRnTyFamsDisabled" '
PrefixI '
False) (
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
SourceStrict '
DecidedStrict) (
Rec0 TyFamsDisabledReason))
:+: C1 ('
MetaCons "TcRnBadTyConTelescope" '
PrefixI '
False) (
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
SourceStrict '
DecidedStrict) (
Rec0 TyCon)))
:+: (
C1 ('
MetaCons "TcRnTyFamResultDisabled" '
PrefixI '
False) (
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
SourceStrict '
DecidedStrict) (
Rec0 Name)
:*: S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
SourceStrict '
DecidedStrict) (
Rec0 (
LHsTyVarBndr ()
GhcRn)))
:+: C1 ('
MetaCons "TcRnRoleValidationFailed" '
PrefixI '
False) (
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
SourceStrict '
DecidedStrict) (
Rec0 Role)
:*: S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
SourceStrict '
DecidedStrict) (
Rec0 RoleValidationFailedReason))))
:+: ((
C1 ('
MetaCons "TcRnCommonFieldResultTypeMismatch" '
PrefixI '
False) (
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
SourceStrict '
DecidedStrict) (
Rec0 DataCon)
:*: (
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
SourceStrict '
DecidedStrict) (
Rec0 DataCon)
:*: S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
SourceStrict '
DecidedStrict) (
Rec0 FieldLabelString)))
:+: C1 ('
MetaCons "TcRnCommonFieldTypeMismatch" '
PrefixI '
False) (
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
SourceStrict '
DecidedStrict) (
Rec0 DataCon)
:*: (
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
SourceStrict '
DecidedStrict) (
Rec0 DataCon)
:*: S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
SourceStrict '
DecidedStrict) (
Rec0 FieldLabelString))))
:+: (
C1 ('
MetaCons "TcRnClassExtensionDisabled" '
PrefixI '
False) (
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
SourceStrict '
DecidedStrict) (
Rec0 Class)
:*: S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
SourceStrict '
DecidedStrict) (
Rec0 DisabledClassExtension))
:+: (
C1 ('
MetaCons "TcRnDataConParentTypeMismatch" '
PrefixI '
False) (
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
SourceStrict '
DecidedStrict) (
Rec0 DataCon)
:*: S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
SourceStrict '
DecidedStrict) (
Rec0 Type))
:+: C1 ('
MetaCons "TcRnGADTsDisabled" '
PrefixI '
False) (
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
SourceStrict '
DecidedStrict) (
Rec0 Name)))))))
:+: ((((
C1 ('
MetaCons "TcRnExistentialQuantificationDisabled" '
PrefixI '
False) (
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
SourceStrict '
DecidedStrict) (
Rec0 DataCon))
:+: C1 ('
MetaCons "TcRnGADTDataContext" '
PrefixI '
False) (
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
SourceStrict '
DecidedStrict) (
Rec0 Name)))
:+: (
C1 ('
MetaCons "TcRnMultipleConForNewtype" '
PrefixI '
False) (
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
SourceStrict '
DecidedStrict) (
Rec0 Name)
:*: S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
SourceStrict '
DecidedStrict) (
Rec0 Int))
:+: C1 ('
MetaCons "TcRnKindSignaturesDisabled" '
PrefixI '
False) (
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
SourceStrict '
DecidedStrict) (
Rec0 (
Either (
HsType GhcPs) (
Name,
HsType GhcRn))))))
:+: ((
C1 ('
MetaCons "TcRnEmptyDataDeclsDisabled" '
PrefixI '
False) (
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
SourceStrict '
DecidedStrict) (
Rec0 Name))
:+: C1 ('
MetaCons "TcRnRoleMismatch" '
PrefixI '
False) (
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
SourceStrict '
DecidedStrict) (
Rec0 Name)
:*: (
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
SourceStrict '
DecidedStrict) (
Rec0 Role)
:*: S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
SourceStrict '
DecidedStrict) (
Rec0 Role))))
:+: (
C1 ('
MetaCons "TcRnRoleCountMismatch" '
PrefixI '
False) (
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
SourceStrict '
DecidedStrict) (
Rec0 Int)
:*: S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
SourceStrict '
DecidedStrict) (
Rec0 (
LRoleAnnotDecl GhcRn)))
:+: (
C1 ('
MetaCons "TcRnIllegalRoleAnnotation" '
PrefixI '
False) (
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
SourceStrict '
DecidedStrict) (
Rec0 (
RoleAnnotDecl GhcRn)))
:+: C1 ('
MetaCons "TcRnRoleAnnotationsDisabled" '
PrefixI '
False) (
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
SourceStrict '
DecidedStrict) (
Rec0 TyCon))))))
:+: (((
C1 ('
MetaCons "TcRnIncoherentRoles" '
PrefixI '
False) (
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
SourceStrict '
DecidedStrict) (
Rec0 TyCon))
:+: C1 ('
MetaCons "TcRnPrecedenceParsingError" '
PrefixI '
False) (
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
NoSourceStrictness '
DecidedLazy) (
Rec0 (
OpName,
Fixity))
:*: S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
NoSourceStrictness '
DecidedLazy) (
Rec0 (
OpName,
Fixity))))
:+: (
C1 ('
MetaCons "TcRnSectionPrecedenceError" '
PrefixI '
False) (
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
NoSourceStrictness '
DecidedLazy) (
Rec0 (
OpName,
Fixity))
:*: (
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
NoSourceStrictness '
DecidedLazy) (
Rec0 (
OpName,
Fixity))
:*: S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
NoSourceStrictness '
DecidedLazy) (
Rec0 (
HsExpr GhcPs))))
:+: (
C1 ('
MetaCons "TcRnTypeSynonymCycle" '
PrefixI '
False) (
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
SourceStrict '
DecidedStrict) (
Rec0 TySynCycleTyCons))
:+: C1 ('
MetaCons "TcRnSelfImport" '
PrefixI '
False) (
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
SourceStrict '
DecidedStrict) (
Rec0 ModuleName)))))
:+: ((
C1 ('
MetaCons "TcRnNoExplicitImportList" '
PrefixI '
False) (
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
SourceStrict '
DecidedStrict) (
Rec0 ModuleName))
:+: C1 ('
MetaCons "TcRnSafeImportsDisabled" '
PrefixI '
False) (
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
SourceStrict '
DecidedStrict) (
Rec0 ModuleName)))
:+: (
C1 ('
MetaCons "TcRnDeprecatedModule" '
PrefixI '
False) (
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
SourceStrict '
DecidedStrict) (
Rec0 ModuleName)
:*: S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
SourceStrict '
DecidedStrict) (
Rec0 (
WarningTxt GhcRn)))
:+: (
C1 ('
MetaCons "TcRnCompatUnqualifiedImport" '
PrefixI '
False) (
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
SourceStrict '
DecidedStrict) (
Rec0 (
ImportDecl GhcPs)))
:+: C1 ('
MetaCons "TcRnRedundantSourceImport" '
PrefixI '
False) (
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
SourceStrict '
DecidedStrict) (
Rec0 ModuleName))))))))
:+: (((((
C1 ('
MetaCons "TcRnImportLookup" '
PrefixI '
False) (
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
SourceStrict '
DecidedStrict) (
Rec0 ImportLookupReason))
:+: C1 ('
MetaCons "TcRnUnusedImport" '
PrefixI '
False) (
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
SourceStrict '
DecidedStrict) (
Rec0 (
ImportDecl GhcRn))
:*: S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
SourceStrict '
DecidedStrict) (
Rec0 UnusedImportReason)))
:+: (
C1 ('
MetaCons "TcRnDuplicateDecls" '
PrefixI '
False) (
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
SourceStrict '
DecidedStrict) (
Rec0 OccName)
:*: S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
SourceStrict '
DecidedStrict) (
Rec0 (
NonEmpty Name)))
:+: C1 ('
MetaCons "TcRnPackageImportsDisabled" '
PrefixI '
False) (
U1 ::
Type ->
Type)))
:+: ((
C1 ('
MetaCons "TcRnIllegalDataCon" '
PrefixI '
False) (
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
SourceStrict '
DecidedStrict) (
Rec0 RdrName))
:+: C1 ('
MetaCons "TcRnNestedForallsContexts" '
PrefixI '
False) (
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
SourceStrict '
DecidedStrict) (
Rec0 NestedForallsContextsIn)))
:+: (
C1 ('
MetaCons "TcRnRedundantRecordWildcard" '
PrefixI '
False) (
U1 ::
Type ->
Type)
:+: (
C1 ('
MetaCons "TcRnUnusedRecordWildcard" '
PrefixI '
False) (
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
SourceStrict '
DecidedStrict) (
Rec0 [
Name]))
:+: C1 ('
MetaCons "TcRnUnusedName" '
PrefixI '
False) (
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
SourceStrict '
DecidedStrict) (
Rec0 OccName)
:*: S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
SourceStrict '
DecidedStrict) (
Rec0 UnusedNameProv))))))
:+: (((
C1 ('
MetaCons "TcRnQualifiedBinder" '
PrefixI '
False) (
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
SourceStrict '
DecidedStrict) (
Rec0 RdrName))
:+: C1 ('
MetaCons "TcRnTypeApplicationsDisabled" '
PrefixI '
False) (
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
SourceStrict '
DecidedStrict) (
Rec0 TypeApplication)))
:+: (
C1 ('
MetaCons "TcRnInvalidRecordField" '
PrefixI '
False) (
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
SourceStrict '
DecidedStrict) (
Rec0 Name)
:*: S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
SourceStrict '
DecidedStrict) (
Rec0 FieldLabelString))
:+: C1 ('
MetaCons "TcRnTupleTooLarge" '
PrefixI '
False) (
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
SourceStrict '
DecidedStrict) (
Rec0 Int))))
:+: ((
C1 ('
MetaCons "TcRnCTupleTooLarge" '
PrefixI '
False) (
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
SourceStrict '
DecidedStrict) (
Rec0 Int))
:+: C1 ('
MetaCons "TcRnIllegalInferredTyVars" '
PrefixI '
False) (
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
SourceStrict '
DecidedStrict) (
Rec0 (
NonEmpty (
HsTyVarBndr Specificity GhcPs)))))
:+: (
C1 ('
MetaCons "TcRnAmbiguousName" '
PrefixI '
False) (
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
SourceStrict '
DecidedStrict) (
Rec0 GlobalRdrEnv)
:*: (
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
SourceStrict '
DecidedStrict) (
Rec0 RdrName)
:*: S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
SourceStrict '
DecidedStrict) (
Rec0 (
NonEmpty GlobalRdrElt))))
:+: (
C1 ('
MetaCons "TcRnBindingNameConflict" '
PrefixI '
False) (
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
SourceStrict '
DecidedStrict) (
Rec0 RdrName)
:*: S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
SourceStrict '
DecidedStrict) (
Rec0 (
NonEmpty SrcSpan)))
:+: C1 ('
MetaCons "TcRnNonCanonicalDefinition" '
PrefixI '
False) (
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
SourceStrict '
DecidedStrict) (
Rec0 NonCanonicalDefinition)
:*: S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
SourceStrict '
DecidedStrict) (
Rec0 (
LHsSigType GhcRn))))))))
:+: ((((
C1 ('
MetaCons "TcRnImplicitImportOfPrelude" '
PrefixI '
False) (
U1 ::
Type ->
Type)
:+: C1 ('
MetaCons "TcRnMissingMain" '
PrefixI '
False) (
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
SourceStrict '
DecidedStrict) (
Rec0 Bool)
:*: (
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
SourceStrict '
DecidedStrict) (
Rec0 Module)
:*: S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
SourceStrict '
DecidedStrict) (
Rec0 OccName))))
:+: (
C1 ('
MetaCons "TcRnGhciUnliftedBind" '
PrefixI '
False) (
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
SourceStrict '
DecidedStrict) (
Rec0 Id))
:+: C1 ('
MetaCons "TcRnGhciMonadLookupFail" '
PrefixI '
False) (
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
NoSourceStrictness '
DecidedLazy) (
Rec0 String)
:*: S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
NoSourceStrictness '
DecidedLazy) (
Rec0 (
Maybe [
GlobalRdrElt])))))
:+: ((
C1 ('
MetaCons "TcRnMissingRoleAnnotation" '
PrefixI '
False) (
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
NoSourceStrictness '
DecidedLazy) (
Rec0 Name)
:*: S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
NoSourceStrictness '
DecidedLazy) (
Rec0 [
Role]))
:+: C1 ('
MetaCons "TcRnPatersonCondFailure" '
PrefixI '
False) ((
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
NoSourceStrictness '
DecidedLazy) (
Rec0 PatersonCondFailure)
:*: S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
NoSourceStrictness '
DecidedLazy) (
Rec0 PatersonCondFailureContext))
:*: (
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
NoSourceStrictness '
DecidedLazy) (
Rec0 Type)
:*: S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
NoSourceStrictness '
DecidedLazy) (
Rec0 Type))))
:+: (
C1 ('
MetaCons "TcRnImplicitRhsQuantification" '
PrefixI '
False) (
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
NoSourceStrictness '
DecidedLazy) (
Rec0 (
LocatedN RdrName)))
:+: (
C1 ('
MetaCons "TcRnIllformedTypePattern" '
PrefixI '
False) (
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
SourceStrict '
DecidedStrict) (
Rec0 (
Pat GhcRn)))
:+: C1 ('
MetaCons "TcRnIllegalTypePattern" '
PrefixI '
False) (
U1 ::
Type ->
Type)))))
:+: (((
C1 ('
MetaCons "TcRnIllformedTypeArgument" '
PrefixI '
False) (
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
SourceStrict '
DecidedStrict) (
Rec0 (
LHsExpr GhcRn)))
:+: C1 ('
MetaCons "TcRnIllegalTypeExpr" '
PrefixI '
False) (
U1 ::
Type ->
Type))
:+: (
C1 ('
MetaCons "TcRnInvalidDefaultedTyVar" '
PrefixI '
False) (
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
SourceStrict '
DecidedStrict) (
Rec0 [
Ct])
:*: (
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
NoSourceStrictness '
DecidedLazy) (
Rec0 [(
TcTyVar,
Type)])
:*: S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
NoSourceStrictness '
DecidedLazy) (
Rec0 (
NonEmpty TcTyVar))))
:+: (
C1 ('
MetaCons "TcRnNamespacedWarningPragmaWithoutFlag" '
PrefixI '
False) (
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
NoSourceStrictness '
DecidedLazy) (
Rec0 (
WarnDecl GhcPs)))
:+: C1 ('
MetaCons "TcRnInvisPatWithNoForAll" '
PrefixI '
False) (
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
NoSourceStrictness '
DecidedLazy) (
Rec0 (
HsTyPat GhcRn))))))
:+: ((
C1 ('
MetaCons "TcRnIllegalInvisibleTypePattern" '
PrefixI '
False) (
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
NoSourceStrictness '
DecidedLazy) (
Rec0 (
HsTyPat GhcPs)))
:+: C1 ('
MetaCons "TcRnNamespacedFixitySigWithoutFlag" '
PrefixI '
False) (
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
NoSourceStrictness '
DecidedLazy) (
Rec0 (
FixitySig GhcPs))))
:+: (
C1 ('
MetaCons "TcRnDefaultedExceptionContext" '
PrefixI '
False) (
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
NoSourceStrictness '
DecidedLazy) (
Rec0 CtLoc))
:+: (
C1 ('
MetaCons "TcRnOutOfArityTyVar" '
PrefixI '
False) (
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
NoSourceStrictness '
DecidedLazy) (
Rec0 Name)
:*: S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
NoSourceStrictness '
DecidedLazy) (
Rec0 Name))
:+: C1 ('
MetaCons "TcRnMisplacedInvisPat" '
PrefixI '
False) (
S1 ('
MetaSel ('
Nothing ::
Maybe Symbol) '
NoSourceUnpackedness '
NoSourceStrictness '
DecidedLazy) (
Rec0 (
HsTyPat GhcPs))))))))))))