    {-# OPTIONS_GHC -fno-warn-orphans     #-}

    module Agda.TypeChecking.Serialise.Instances.Errors where

    import Control.Monad

    import Agda.TypeChecking.Serialise.Base
    import Agda.TypeChecking.Serialise.Instances.Common   ( SerialisedRange(..) )
    import Agda.TypeChecking.Serialise.Instances.Internal () --instance only
    import Agda.TypeChecking.Serialise.Instances.Abstract () --instance only

    import Agda.Syntax.Concrete.Definitions.Errors
        ( DeclarationWarning(..), DeclarationWarning'(..), OpenOrImport(..) )
    import Agda.Syntax.Parser.Monad
    import Agda.TypeChecking.Monad.Base
    import qualified Agda.TypeChecking.Monad.Base.Warning as W
    import Agda.Interaction.Options
    import Agda.Interaction.Options.Warnings
    import Agda.Interaction.Library.Base
    import Agda.Termination.CutOff
    import Agda.Syntax.Common.Pretty
    import Agda.Utils.ProfileOptions

    import Agda.Utils.Impossible

    instance EmbPrj IsAmbiguous where
      icod_ :: IsAmbiguous -> S Word32
    icod_ = \case
        YesAmbiguous AmbiguousQName
    a -> (AmbiguousQName -> IsAmbiguous)
    -> Arrows (Domains (AmbiguousQName -> IsAmbiguous)) (S Word32)
    forall t.
    (ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
     All EmbPrj (Domains t)) =>
    t -> Arrows (Domains t) (S Word32)
    icodeN' AmbiguousQName -> IsAmbiguous
    YesAmbiguous AmbiguousQName
    a
        IsAmbiguous
    NotAmbiguous   -> IsAmbiguous -> Arrows (Domains IsAmbiguous) (S Word32)
    forall t.
    (ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
     All EmbPrj (Domains t)) =>
    t -> Arrows (Domains t) (S Word32)
    icodeN' IsAmbiguous
    NotAmbiguous

      value :: Word32 -> R IsAmbiguous
    value = ([Word32] -> R IsAmbiguous) -> Word32 -> R IsAmbiguous
    forall a. EmbPrj a => ([Word32] -> R a) -> Word32 -> R a
    vcase \case
        [Word32
    a] -> (AmbiguousQName -> IsAmbiguous)
    -> Arrows
         (Constant Word32 (Domains (AmbiguousQName -> IsAmbiguous)))
         (R (CoDomain (AmbiguousQName -> IsAmbiguous)))
    forall t.
    (VALU t (IsBase t),
     StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
     All EmbPrj (Domains t)) =>
    t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
    valuN AmbiguousQName -> IsAmbiguous
    YesAmbiguous Word32
    a
        []  -> IsAmbiguous
    -> Arrows
         (Constant Word32 (Domains IsAmbiguous)) (R (CoDomain IsAmbiguous))
    forall t.
    (VALU t (IsBase t),
     StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
     All EmbPrj (Domains t)) =>
    t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
    valuN IsAmbiguous
    NotAmbiguous
        [Word32]
    _   -> R IsAmbiguous
    forall a. R a
    malformed

    instance EmbPrj TCWarning where
      icod_ :: TCWarning -> S Word32
    icod_ (TCWarning CallStack
    fp Range
    r Warning
    a Doc
    b String
    c Bool
    d) = (CallStack
     -> SerialisedRange
     -> Warning
     -> Doc
     -> String
     -> Bool
     -> TCWarning)
    -> Arrows
         (Domains
            (CallStack
             -> SerialisedRange
             -> Warning
             -> Doc
             -> String
             -> Bool
             -> TCWarning))
         (S Word32)
    forall t.
    (ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
     All EmbPrj (Domains t)) =>
    t -> Arrows (Domains t) (S Word32)
    icodeN' (\ CallStack
    fp -> CallStack -> Range -> Warning -> Doc -> String -> Bool -> TCWarning
    TCWarning CallStack
    fp (Range -> Warning -> Doc -> String -> Bool -> TCWarning)
    -> (SerialisedRange -> Range)
    -> SerialisedRange
    -> Warning
    -> Doc
    -> String
    -> Bool
    -> TCWarning
    forall b c a. (b -> c) -> (a -> b) -> a -> c
    . SerialisedRange -> Range
    underlyingRange) CallStack
    fp (Range -> SerialisedRange
    SerialisedRange Range
    r) Warning
    a Doc
    b String
    c Bool
    d
      value :: Word32 -> R TCWarning
    value = (CallStack
     -> SerialisedRange
     -> Warning
     -> Doc
     -> String
     -> Bool
     -> TCWarning)
    -> Word32
    -> R (CoDomain
            (CallStack
             -> SerialisedRange
             -> Warning
             -> Doc
             -> String
             -> Bool
             -> TCWarning))
    forall t.
    (VALU t (IsBase t), All EmbPrj (CoDomain t : Domains t)) =>
    t -> Word32 -> R (CoDomain t)
    valueN (\ CallStack
    fp -> CallStack -> Range -> Warning -> Doc -> String -> Bool -> TCWarning
    TCWarning CallStack
    fp (Range -> Warning -> Doc -> String -> Bool -> TCWarning)
    -> (SerialisedRange -> Range)
    -> SerialisedRange
    -> Warning
    -> Doc
    -> String
    -> Bool
    -> TCWarning
    forall b c a. (b -> c) -> (a -> b) -> a -> c
    . SerialisedRange -> Range
    underlyingRange)

    -- We don't need to serialise warnings that turn into errors
    instance EmbPrj Warning where
      icod_ :: Warning -> S Word32
    icod_ = \case
        TerminationIssue List1 TerminationError
    a                    -> S Word32
    forall a. HasCallStack => a
    __IMPOSSIBLE__
        UnreachableClauses QName
    a List1 Range
    b                -> Word32
    -> (QName -> List1 Range -> Warning)
    -> Arrows (Domains (QName -> List1 Range -> Warning)) (S Word32)
    forall t.
    (ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
     All EmbPrj (Domains t)) =>
    Word32 -> t -> Arrows (Domains t) (S Word32)
    icodeN Word32
    0 QName -> List1 Range -> Warning
    UnreachableClauses QName
    a List1 Range
    b
        CoverageIssue QName
    a List1 (Telescope, [NamedArg DeBruijnPattern])
    b                     -> S Word32
    forall a. HasCallStack => a
    __IMPOSSIBLE__
        NotStrictlyPositive QName
    a Seq OccursWhere
    b               -> S Word32
    forall a. HasCallStack => a
    __IMPOSSIBLE__
        ConstructorDoesNotFitInData{}         -> S Word32
    forall a. HasCallStack => a
    __IMPOSSIBLE__
        UnsolvedMetaVariables Set1 Range
    a               -> S Word32
    forall a. HasCallStack => a
    __IMPOSSIBLE__
        UnsolvedInteractionMetas Set1 Range
    a            -> S Word32
    forall a. HasCallStack => a
    __IMPOSSIBLE__
        UnsolvedConstraints List1 ProblemConstraint
    a                 -> S Word32
    forall a. HasCallStack => a
    __IMPOSSIBLE__
        InteractionMetaBoundaries Set1 Range
    a           -> S Word32
    forall a. HasCallStack => a
    __IMPOSSIBLE__
        OldBuiltin BuiltinId
    a BuiltinId
    b                        -> Word32
    -> (BuiltinId -> BuiltinId -> Warning)
    -> Arrows (Domains (BuiltinId -> BuiltinId -> Warning)) (S Word32)
    forall t.
    (ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
     All EmbPrj (Domains t)) =>
    Word32 -> t -> Arrows (Domains t) (S Word32)
    icodeN Word32
    1 BuiltinId -> BuiltinId -> Warning
    OldBuiltin BuiltinId
    a BuiltinId
    b
        Warning
    EmptyRewritePragma                    -> Word32 -> Warning -> Arrows (Domains Warning) (S Word32)
    forall t.
    (ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
     All EmbPrj (Domains t)) =>
    Word32 -> t -> Arrows (Domains t) (S Word32)
    icodeN Word32
    2 Warning
    EmptyRewritePragma
        UselessPublic UselessPublicReason
    a                       -> Word32
    -> (UselessPublicReason -> Warning)
    -> Arrows (Domains (UselessPublicReason -> Warning)) (S Word32)
    forall t.
    (ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
     All EmbPrj (Domains t)) =>
    Word32 -> t -> Arrows (Domains t) (S Word32)
    icodeN Word32
    3 UselessPublicReason -> Warning
    UselessPublic UselessPublicReason
    a
        UselessInline QName
    a                       -> Word32
    -> (QName -> Warning)
    -> Arrows (Domains (QName -> Warning)) (S Word32)
    forall t.
    (ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
     All EmbPrj (Domains t)) =>
    Word32 -> t -> Arrows (Domains t) (S Word32)
    icodeN Word32
    4 QName -> Warning
    UselessInline QName
    a
        InvalidCharacterLiteral Char
    a             -> S Word32
    forall a. HasCallStack => a
    __IMPOSSIBLE__
        SafeFlagPostulate QName
    a                   -> S Word32
    forall a. HasCallStack => a
    __IMPOSSIBLE__
        SafeFlagPragma Set String
    a                      -> S Word32
    forall a. HasCallStack => a
    __IMPOSSIBLE__
        Warning
    SafeFlagWithoutKFlagPrimEraseEquality -> S Word32
    forall a. HasCallStack => a
    __IMPOSSIBLE__
        DuplicateRecordDirective RecordDirective
    a            -> Word32
    -> (RecordDirective -> Warning)
    -> Arrows (Domains (RecordDirective -> Warning)) (S Word32)
    forall t.
    (ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
     All EmbPrj (Domains t)) =>
    Word32 -> t -> Arrows (Domains t) (S Word32)
    icodeN Word32
    5 RecordDirective -> Warning
    DuplicateRecordDirective RecordDirective
    a
        DeprecationWarning String
    a String
    b String
    c              -> Word32
    -> (String -> String -> String -> Warning)
    -> Arrows
         (Domains (String -> String -> String -> Warning)) (S Word32)
    forall t.
    (ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
     All EmbPrj (Domains t)) =>
    Word32 -> t -> Arrows (Domains t) (S Word32)
    icodeN Word32
    6 String -> String -> String -> Warning
    DeprecationWarning String
    a String
    b String
    c
        NicifierIssue DeclarationWarning
    a                       -> Word32
    -> (DeclarationWarning -> Warning)
    -> Arrows (Domains (DeclarationWarning -> Warning)) (S Word32)
    forall t.
    (ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
     All EmbPrj (Domains t)) =>
    Word32 -> t -> Arrows (Domains t) (S Word32)
    icodeN Word32
    7 DeclarationWarning -> Warning
    NicifierIssue DeclarationWarning
    a
        InversionDepthReached QName
    a               -> Word32
    -> (QName -> Warning)
    -> Arrows (Domains (QName -> Warning)) (S Word32)
    forall t.
    (ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
     All EmbPrj (Domains t)) =>
    Word32 -> t -> Arrows (Domains t) (S Word32)
    icodeN Word32
    8 QName -> Warning
    InversionDepthReached QName
    a
        UserWarning Text
    a                         -> Word32
    -> (Text -> Warning)
    -> Arrows (Domains (Text -> Warning)) (S Word32)
    forall t.
    (ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
     All EmbPrj (Domains t)) =>
    Word32 -> t -> Arrows (Domains t) (S Word32)
    icodeN Word32
    9 Text -> Warning
    UserWarning Text
    a
        Warning
    AbsurdPatternRequiresAbsentRHS        -> Word32 -> Warning -> Arrows (Domains Warning) (S Word32)
    forall t.
    (ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
     All EmbPrj (Domains t)) =>
    Word32 -> t -> Arrows (Domains t) (S Word32)
    icodeN Word32
    10 Warning
    AbsurdPatternRequiresAbsentRHS
        ModuleDoesntExport QName
    a [Name]
    b [Name]
    c List1 ImportedName
    d            -> Word32
    -> (QName -> [Name] -> [Name] -> List1 ImportedName -> Warning)
    -> Arrows
         (Domains
            (QName -> [Name] -> [Name] -> List1 ImportedName -> Warning))
         (S Word32)
    forall t.
    (ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
     All EmbPrj (Domains t)) =>
    Word32 -> t -> Arrows (Domains t) (S Word32)
    icodeN Word32
    11 QName -> [Name] -> [Name] -> List1 ImportedName -> Warning
    ModuleDoesntExport QName
    a [Name]
    b [Name]
    c List1 ImportedName
    d
        LibraryWarning LibWarning
    a                      -> Word32
    -> (LibWarning -> Warning)
    -> Arrows (Domains (LibWarning -> Warning)) (S Word32)
    forall t.
    (ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
     All EmbPrj (Domains t)) =>
    Word32 -> t -> Arrows (Domains t) (S Word32)
    icodeN Word32
    12 LibWarning -> Warning
    LibraryWarning LibWarning
    a
        CoverageNoExactSplit QName
    a List1 Clause
    b              -> Word32
    -> (QName -> List1 Clause -> Warning)
    -> Arrows (Domains (QName -> List1 Clause -> Warning)) (S Word32)
    forall t.
    (ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
     All EmbPrj (Domains t)) =>
    Word32 -> t -> Arrows (Domains t) (S Word32)
    icodeN Word32
    13 QName -> List1 Clause -> Warning
    CoverageNoExactSplit QName
    a List1 Clause
    b
        CantGeneralizeOverSorts Set1 MetaId
    a             -> Word32
    -> (Set1 MetaId -> Warning)
    -> Arrows (Domains (Set1 MetaId -> Warning)) (S Word32)
    forall t.
    (ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
     All EmbPrj (Domains t)) =>
    Word32 -> t -> Arrows (Domains t) (S Word32)
    icodeN Word32
    14 Set1 MetaId -> Warning
    CantGeneralizeOverSorts Set1 MetaId
    a
        IllformedAsClause String
    a                   -> Word32
    -> (String -> Warning)
    -> Arrows (Domains (String -> Warning)) (S Word32)
    forall t.
    (ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
     All EmbPrj (Domains t)) =>
    Word32 -> t -> Arrows (Domains t) (S Word32)
    icodeN Word32
    15 String -> Warning
    IllformedAsClause String
    a
        Warning
    WithoutKFlagPrimEraseEquality         -> Word32 -> Warning -> Arrows (Domains Warning) (S Word32)
    forall t.
    (ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
     All EmbPrj (Domains t)) =>
    Word32 -> t -> Arrows (Domains t) (S Word32)
    icodeN Word32
    16 Warning
    WithoutKFlagPrimEraseEquality
        InstanceWithExplicitArg QName
    a             -> Word32
    -> (QName -> Warning)
    -> Arrows (Domains (QName -> Warning)) (S Word32)
    forall t.
    (ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
     All EmbPrj (Domains t)) =>
    Word32 -> t -> Arrows (Domains t) (S Word32)
    icodeN Word32
    17 QName -> Warning
    InstanceWithExplicitArg QName
    a
        InfectiveImport Doc
    a                     -> Word32
    -> (Doc -> Warning) -> Arrows (Domains (Doc -> Warning)) (S Word32)
    forall t.
    (ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
     All EmbPrj (Domains t)) =>
    Word32 -> t -> Arrows (Domains t) (S Word32)
    icodeN Word32
    18 Doc -> Warning
    InfectiveImport Doc
    a
        CoInfectiveImport Doc
    a                   -> Word32
    -> (Doc -> Warning) -> Arrows (Domains (Doc -> Warning)) (S Word32)
    forall t.
    (ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
     All EmbPrj (Domains t)) =>
    Word32 -> t -> Arrows (Domains t) (S Word32)
    icodeN Word32
    19 Doc -> Warning
    CoInfectiveImport Doc
    a
        InstanceNoOutputTypeName Doc
    a            -> Word32
    -> (Doc -> Warning) -> Arrows (Domains (Doc -> Warning)) (S Word32)
    forall t.
    (ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
     All EmbPrj (Domains t)) =>
    Word32 -> t -> Arrows (Domains t) (S Word32)
    icodeN Word32
    20 Doc -> Warning
    InstanceNoOutputTypeName Doc
    a
        InstanceArgWithExplicitArg Doc
    a          -> Word32
    -> (Doc -> Warning) -> Arrows (Domains (Doc -> Warning)) (S Word32)
    forall t.
    (ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
     All EmbPrj (Domains t)) =>
    Word32 -> t -> Arrows (Domains t) (S Word32)
    icodeN Word32
    21 Doc -> Warning
    InstanceArgWithExplicitArg Doc
    a
        Warning
    WrongInstanceDeclaration              -> Word32 -> Warning -> Arrows (Domains Warning) (S Word32)
    forall t.
    (ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
     All EmbPrj (Domains t)) =>
    Word32 -> t -> Arrows (Domains t) (S Word32)
    icodeN Word32
    22 Warning
    WrongInstanceDeclaration
        RewriteNonConfluent Term
    a Term
    b Term
    c Doc
    d           -> Word32
    -> (Term -> Term -> Term -> Doc -> Warning)
    -> Arrows
         (Domains (Term -> Term -> Term -> Doc -> Warning)) (S Word32)
    forall t.
    (ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
     All EmbPrj (Domains t)) =>
    Word32 -> t -> Arrows (Domains t) (S Word32)
    icodeN Word32
    23 Term -> Term -> Term -> Doc -> Warning
    RewriteNonConfluent Term
    a Term
    b Term
    c Doc
    d
        RewriteMaybeNonConfluent Term
    a Term
    b [Doc]
    c        -> Word32
    -> (Term -> Term -> [Doc] -> Warning)
    -> Arrows (Domains (Term -> Term -> [Doc] -> Warning)) (S Word32)
    forall t.
    (ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
     All EmbPrj (Domains t)) =>
    Word32 -> t -> Arrows (Domains t) (S Word32)
    icodeN Word32
    24 Term -> Term -> [Doc] -> Warning
    RewriteMaybeNonConfluent Term
    a Term
    b [Doc]
    c
        PragmaCompileErased Text
    a QName
    b               -> Word32
    -> (Text -> QName -> Warning)
    -> Arrows (Domains (Text -> QName -> Warning)) (S Word32)
    forall t.
    (ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
     All EmbPrj (Domains t)) =>
    Word32 -> t -> Arrows (Domains t) (S Word32)
    icodeN Word32
    25 Text -> QName -> Warning
    PragmaCompileErased Text
    a QName
    b
        FixityInRenamingModule List1 Range
    a              -> Word32
    -> (List1 Range -> Warning)
    -> Arrows (Domains (List1 Range -> Warning)) (S Word32)
    forall t.
    (ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
     All EmbPrj (Domains t)) =>
    Word32 -> t -> Arrows (Domains t) (S Word32)
    icodeN Word32
    26 List1 Range -> Warning
    FixityInRenamingModule List1 Range
    a
        NotInScopeW QName
    a                         -> Word32
    -> (QName -> Warning)
    -> Arrows (Domains (QName -> Warning)) (S Word32)
    forall t.
    (ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
     All EmbPrj (Domains t)) =>
    Word32 -> t -> Arrows (Domains t) (S Word32)
    icodeN Word32
    27 QName -> Warning
    NotInScopeW QName
    a
        ClashesViaRenaming NameOrModule
    a Set1 Name
    b                -> Word32
    -> (NameOrModule -> Set1 Name -> Warning)
    -> Arrows
         (Domains (NameOrModule -> Set1 Name -> Warning)) (S Word32)
    forall t.
    (ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
     All EmbPrj (Domains t)) =>
    Word32 -> t -> Arrows (Domains t) (S Word32)
    icodeN Word32
    28 NameOrModule -> Set1 Name -> Warning
    ClashesViaRenaming NameOrModule
    a Set1 Name
    b
        RecordFieldWarning RecordFieldWarning
    a                  -> Word32
    -> (RecordFieldWarning -> Warning)
    -> Arrows (Domains (RecordFieldWarning -> Warning)) (S Word32)
    forall t.
    (ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
     All EmbPrj (Domains t)) =>
    Word32 -> t -> Arrows (Domains t) (S Word32)
    icodeN Word32
    29 RecordFieldWarning -> Warning
    RecordFieldWarning RecordFieldWarning
    a
        UselessPatternDeclarationForRecord String
    a  -> Word32
    -> (String -> Warning)
    -> Arrows (Domains (String -> Warning)) (S Word32)
    forall t.
    (ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
     All EmbPrj (Domains t)) =>
    Word32 -> t -> Arrows (Domains t) (S Word32)
    icodeN Word32
    30 String -> Warning
    UselessPatternDeclarationForRecord String
    a
        Warning
    EmptyWhere                            -> Word32 -> Warning -> Arrows (Domains Warning) (S Word32)
    forall t.
    (ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
     All EmbPrj (Domains t)) =>
    Word32 -> t -> Arrows (Domains t) (S Word32)
    icodeN Word32
    31 Warning
    EmptyWhere
        AsPatternShadowsConstructorOrPatternSynonym ConstructorOrPatternSynonym
    a -> Word32
    -> (ConstructorOrPatternSynonym -> Warning)
    -> Arrows
         (Domains (ConstructorOrPatternSynonym -> Warning)) (S Word32)
    forall t.
    (ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
     All EmbPrj (Domains t)) =>
    Word32 -> t -> Arrows (Domains t) (S Word32)
    icodeN Word32
    32 ConstructorOrPatternSynonym -> Warning
    AsPatternShadowsConstructorOrPatternSynonym ConstructorOrPatternSynonym
    a
        DuplicateUsing List1 ImportedName
    a                      -> Word32
    -> (List1 ImportedName -> Warning)
    -> Arrows (Domains (List1 ImportedName -> Warning)) (S Word32)
    forall t.
    (ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
     All EmbPrj (Domains t)) =>
    Word32 -> t -> Arrows (Domains t) (S Word32)
    icodeN Word32
    33 List1 ImportedName -> Warning
    DuplicateUsing List1 ImportedName
    a
        UselessHiding List1 ImportedName
    a                       -> Word32
    -> (List1 ImportedName -> Warning)
    -> Arrows (Domains (List1 ImportedName -> Warning)) (S Word32)
    forall t.
    (ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
     All EmbPrj (Domains t)) =>
    Word32 -> t -> Arrows (Domains t) (S Word32)
    icodeN Word32
    34 List1 ImportedName -> Warning
    UselessHiding List1 ImportedName
    a
        UselessPragma Range
    a Doc
    b                     -> Word32
    -> (Range -> Doc -> Warning)
    -> Arrows (Domains (Range -> Doc -> Warning)) (S Word32)
    forall t.
    (ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
     All EmbPrj (Domains t)) =>
    Word32 -> t -> Arrows (Domains t) (S Word32)
    icodeN Word32
    35 Range -> Doc -> Warning
    UselessPragma Range
    a Doc
    b
        RewriteAmbiguousRules Term
    a Term
    b Term
    c           -> Word32
    -> (Term -> Term -> Term -> Warning)
    -> Arrows (Domains (Term -> Term -> Term -> Warning)) (S Word32)
    forall t.
    (ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
     All EmbPrj (Domains t)) =>
    Word32 -> t -> Arrows (Domains t) (S Word32)
    icodeN Word32
    36 Term -> Term -> Term -> Warning
    RewriteAmbiguousRules Term
    a Term
    b Term
    c
        RewriteMissingRule Term
    a Term
    b Term
    c              -> Word32
    -> (Term -> Term -> Term -> Warning)
    -> Arrows (Domains (Term -> Term -> Term -> Warning)) (S Word32)
    forall t.
    (ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
     All EmbPrj (Domains t)) =>
    Word32 -> t -> Arrows (Domains t) (S Word32)
    icodeN Word32
    37 Term -> Term -> Term -> Warning
    RewriteMissingRule Term
    a Term
    b Term
    c
        ParseWarning ParseWarning
    a                        -> Word32
    -> (ParseWarning -> Warning)
    -> Arrows (Domains (ParseWarning -> Warning)) (S Word32)
    forall t.
    (ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
     All EmbPrj (Domains t)) =>
    Word32 -> t -> Arrows (Domains t) (S Word32)
    icodeN Word32
    38 ParseWarning -> Warning
    ParseWarning ParseWarning
    a
        Warning
    UselessTactic                         -> Word32 -> Warning -> Arrows (Domains Warning) (S Word32)
    forall t.
    (ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
     All EmbPrj (Domains t)) =>
    Word32 -> t -> Arrows (Domains t) (S Word32)
    icodeN Word32
    39 Warning
    UselessTactic
        UnsupportedIndexedMatch Doc
    f             -> Word32
    -> (Doc -> Warning) -> Arrows (Domains (Doc -> Warning)) (S Word32)
    forall t.
    (ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
     All EmbPrj (Domains t)) =>
    Word32 -> t -> Arrows (Domains t) (S Word32)
    icodeN Word32
    40 Doc -> Warning
    UnsupportedIndexedMatch Doc
    f
        OptionWarning OptionWarning
    a                       -> Word32
    -> (OptionWarning -> Warning)
    -> Arrows (Domains (OptionWarning -> Warning)) (S Word32)
    forall t.
    (ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
     All EmbPrj (Domains t)) =>
    Word32 -> t -> Arrows (Domains t) (S Word32)
    icodeN Word32
    41 OptionWarning -> Warning
    OptionWarning OptionWarning
    a
        PlentyInHardCompileTimeMode QωOrigin
    a         -> Word32
    -> (QωOrigin -> Warning)
    -> Arrows (Domains (QωOrigin -> Warning)) (S Word32)
    forall t.
    (ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
     All EmbPrj (Domains t)) =>
    Word32 -> t -> Arrows (Domains t) (S Word32)
    icodeN Word32
    42 QωOrigin -> Warning
    PlentyInHardCompileTimeMode QωOrigin
    a
        Warning
    NotAffectedByOpaque                   -> Word32 -> Warning -> Arrows (Domains Warning) (S Word32)
    forall t.
    (ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
     All EmbPrj (Domains t)) =>
    Word32 -> t -> Arrows (Domains t) (S Word32)
    icodeN Word32
    43 Warning
    NotAffectedByOpaque
        UnfoldTransparentName QName
    nm              -> Word32
    -> (QName -> Warning)
    -> Arrows (Domains (QName -> Warning)) (S Word32)
    forall t.
    (ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
     All EmbPrj (Domains t)) =>
    Word32 -> t -> Arrows (Domains t) (S Word32)
    icodeN Word32
    44 QName -> Warning
    UnfoldTransparentName QName
    nm
        Warning
    UselessOpaque                         -> Word32 -> Warning -> Arrows (Domains Warning) (S Word32)
    forall t.
    (ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
     All EmbPrj (Domains t)) =>
    Word32 -> t -> Arrows (Domains t) (S Word32)
    icodeN Word32
    45 Warning
    UselessOpaque
        InlineNoExactSplit QName
    a Clause
    b                -> Word32
    -> (QName -> Clause -> Warning)
    -> Arrows (Domains (QName -> Clause -> Warning)) (S Word32)
    forall t.
    (ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
     All EmbPrj (Domains t)) =>
    Word32 -> t -> Arrows (Domains t) (S Word32)
    icodeN Word32
    46 QName -> Clause -> Warning
    InlineNoExactSplit QName
    a Clause
    b
        FaceConstraintCannotBeHidden ArgInfo
    a        -> Word32
    -> (ArgInfo -> Warning)
    -> Arrows (Domains (ArgInfo -> Warning)) (S Word32)
    forall t.
    (ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
     All EmbPrj (Domains t)) =>
    Word32 -> t -> Arrows (Domains t) (S Word32)
    icodeN Word32
    47 ArgInfo -> Warning
    FaceConstraintCannotBeHidden ArgInfo
    a
        FaceConstraintCannotBeNamed NamedName
    a         -> Word32
    -> (NamedName -> Warning)
    -> Arrows (Domains (NamedName -> Warning)) (S Word32)
    forall t.
    (ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
     All EmbPrj (Domains t)) =>
    Word32 -> t -> Arrows (Domains t) (S Word32)
    icodeN Word32
    48 NamedName -> Warning
    FaceConstraintCannotBeNamed NamedName
    a
        PatternShadowsConstructor Name
    a QName
    b         -> Word32
    -> (Name -> QName -> Warning)
    -> Arrows (Domains (Name -> QName -> Warning)) (S Word32)
    forall t.
    (ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
     All EmbPrj (Domains t)) =>
    Word32 -> t -> Arrows (Domains t) (S Word32)
    icodeN Word32
    49 Name -> QName -> Warning
    PatternShadowsConstructor Name
    a QName
    b
        ConfluenceCheckingIncompleteBecauseOfMeta QName
    a -> Word32
    -> (QName -> Warning)
    -> Arrows (Domains (QName -> Warning)) (S Word32)
    forall t.
    (ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
     All EmbPrj (Domains t)) =>
    Word32 -> t -> Arrows (Domains t) (S Word32)
    icodeN Word32
    50 QName -> Warning
    ConfluenceCheckingIncompleteBecauseOfMeta QName
    a
        BuiltinDeclaresIdentifier BuiltinId
    a                 -> Word32
    -> (BuiltinId -> Warning)
    -> Arrows (Domains (BuiltinId -> Warning)) (S Word32)
    forall t.
    (ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
     All EmbPrj (Domains t)) =>
    Word32 -> t -> Arrows (Domains t) (S Word32)
    icodeN Word32
    51 BuiltinId -> Warning
    BuiltinDeclaresIdentifier BuiltinId
    a
        Warning
    ConfluenceForCubicalNotSupported            -> Word32 -> Warning -> Arrows (Domains Warning) (S Word32)
    forall t.
    (ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
     All EmbPrj (Domains t)) =>
    Word32 -> t -> Arrows (Domains t) (S Word32)
    icodeN Word32
    52 Warning
    ConfluenceForCubicalNotSupported
        -- We do not need to serialize compiler warnings:
        Warning
    PragmaCompileList                           -> S Word32
    forall a. HasCallStack => a
    __IMPOSSIBLE__
        Warning
    PragmaCompileMaybe                          -> S Word32
    forall a. HasCallStack => a
    __IMPOSSIBLE__
        NoMain TopLevelModuleName
    _                                    -> S Word32
    forall a. HasCallStack => a
    __IMPOSSIBLE__
        IllegalRewriteRule QName
    a IllegalRewriteRuleReason
    b                      -> Word32
    -> (QName -> IllegalRewriteRuleReason -> Warning)
    -> Arrows
         (Domains (QName -> IllegalRewriteRuleReason -> Warning)) (S Word32)
    forall t.
    (ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
     All EmbPrj (Domains t)) =>
    Word32 -> t -> Arrows (Domains t) (S Word32)
    icodeN Word32
    53 QName -> IllegalRewriteRuleReason -> Warning
    IllegalRewriteRule QName
    a IllegalRewriteRuleReason
    b
        MissingTypeSignatureForOpaque QName
    a IsOpaque
    b           -> Word32
    -> (QName -> IsOpaque -> Warning)
    -> Arrows (Domains (QName -> IsOpaque -> Warning)) (S Word32)
    forall t.
    (ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
     All EmbPrj (Domains t)) =>
    Word32 -> t -> Arrows (Domains t) (S Word32)
    icodeN Word32
    54 QName -> IsOpaque -> Warning
    MissingTypeSignatureForOpaque QName
    a IsOpaque
    b
        ConflictingPragmaOptions String
    a String
    b                -> Word32
    -> (String -> String -> Warning)
    -> Arrows (Domains (String -> String -> Warning)) (S Word32)
    forall t.
    (ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
     All EmbPrj (Domains t)) =>
    Word32 -> t -> Arrows (Domains t) (S Word32)
    icodeN Word32
    55 String -> String -> Warning
    ConflictingPragmaOptions String
    a String
    b
        CustomBackendWarning String
    a Doc
    b                    -> Word32
    -> (String -> Doc -> Warning)
    -> Arrows (Domains (String -> Doc -> Warning)) (S Word32)
    forall t.
    (ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
     All EmbPrj (Domains t)) =>
    Word32 -> t -> Arrows (Domains t) (S Word32)
    icodeN Word32
    56 String -> Doc -> Warning
    CustomBackendWarning String
    a Doc
    b
        CoinductiveEtaRecord QName
    a                      -> Word32
    -> (QName -> Warning)
    -> Arrows (Domains (QName -> Warning)) (S Word32)
    forall t.
    (ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
     All EmbPrj (Domains t)) =>
    Word32 -> t -> Arrows (Domains t) (S Word32)
    icodeN Word32
    57 QName -> Warning
    CoinductiveEtaRecord QName
    a
        WithClauseProjectionFixityMismatch NamedArg Pattern
    a ProjOrigin
    b NamedArg DeBruijnPattern
    c ProjOrigin
    d  -> Word32
    -> (NamedArg Pattern
        -> ProjOrigin -> NamedArg DeBruijnPattern -> ProjOrigin -> Warning)
    -> Arrows
         (Domains
            (NamedArg Pattern
             -> ProjOrigin
             -> NamedArg DeBruijnPattern
             -> ProjOrigin
             -> Warning))
         (S Word32)
    forall t.
    (ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
     All EmbPrj (Domains t)) =>
    Word32 -> t -> Arrows (Domains t) (S Word32)
    icodeN Word32
    58 NamedArg Pattern
    -> ProjOrigin -> NamedArg DeBruijnPattern -> ProjOrigin -> Warning
    WithClauseProjectionFixityMismatch NamedArg Pattern
    a ProjOrigin
    b NamedArg DeBruijnPattern
    c ProjOrigin
    d
        InvalidDisplayForm QName
    a String
    b                      -> Word32
    -> (QName -> String -> Warning)
    -> Arrows (Domains (QName -> String -> Warning)) (S Word32)
    forall t.
    (ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
     All EmbPrj (Domains t)) =>
    Word32 -> t -> Arrows (Domains t) (S Word32)
    icodeN Word32
    59 QName -> String -> Warning
    InvalidDisplayForm QName
    a String
    b
        TooManyArgumentsToSort QName
    a List1 (NamedArg Expr)
    b                  -> S Word32
    forall a. HasCallStack => a
    __IMPOSSIBLE__
        NotARewriteRule QName
    a IsAmbiguous
    b                         -> Word32
    -> (QName -> IsAmbiguous -> Warning)
    -> Arrows (Domains (QName -> IsAmbiguous -> Warning)) (S Word32)
    forall t.
    (ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
     All EmbPrj (Domains t)) =>
    Word32 -> t -> Arrows (Domains t) (S Word32)
    icodeN Word32
    60 QName -> IsAmbiguous -> Warning
    NotARewriteRule QName
    a IsAmbiguous
    b
        PragmaCompileWrongName QName
    a IsAmbiguous
    b                  -> Word32
    -> (QName -> IsAmbiguous -> Warning)
    -> Arrows (Domains (QName -> IsAmbiguous -> Warning)) (S Word32)
    forall t.
    (ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
     All EmbPrj (Domains t)) =>
    Word32 -> t -> Arrows (Domains t) (S Word32)
    icodeN Word32
    61 QName -> IsAmbiguous -> Warning
    PragmaCompileWrongName QName
    a IsAmbiguous
    b
        PragmaCompileUnparsable String
    a                   -> Word32
    -> (String -> Warning)
    -> Arrows (Domains (String -> Warning)) (S Word32)
    forall t.
    (ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
     All EmbPrj (Domains t)) =>
    Word32 -> t -> Arrows (Domains t) (S Word32)
    icodeN Word32
    62 String -> Warning
    PragmaCompileUnparsable String
    a
        PragmaCompileWrong QName
    a String
    b                      -> Word32
    -> (QName -> String -> Warning)
    -> Arrows (Domains (QName -> String -> Warning)) (S Word32)
    forall t.
    (ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
     All EmbPrj (Domains t)) =>
    Word32 -> t -> Arrows (Domains t) (S Word32)
    icodeN Word32
    63 QName -> String -> Warning
    PragmaCompileWrong QName
    a String
    b
        PragmaExpectsUnambiguousConstructorOrFunction String
    a QName
    b IsAmbiguous
    c ->
          Word32
    -> (String -> QName -> IsAmbiguous -> Warning)
    -> Arrows
         (Domains (String -> QName -> IsAmbiguous -> Warning)) (S Word32)
    forall t.
    (ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
     All EmbPrj (Domains t)) =>
    Word32 -> t -> Arrows (Domains t) (S Word32)
    icodeN Word32
    64 String -> QName -> IsAmbiguous -> Warning
    PragmaExpectsUnambiguousConstructorOrFunction String
    a QName
    b IsAmbiguous
    c
        PragmaExpectsUnambiguousProjectionOrFunction String
    a QName
    b IsAmbiguous
    c ->
          Word32
    -> (String -> QName -> IsAmbiguous -> Warning)
    -> Arrows
         (Domains (String -> QName -> IsAmbiguous -> Warning)) (S Word32)
    forall t.
    (ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
     All EmbPrj (Domains t)) =>
    Word32 -> t -> Arrows (Domains t) (S Word32)
    icodeN Word32
    65 String -> QName -> IsAmbiguous -> Warning
    PragmaExpectsUnambiguousProjectionOrFunction String
    a QName
    b IsAmbiguous
    c
        PragmaExpectsDefinedSymbol String
    a QName
    b              -> Word32
    -> (String -> QName -> Warning)
    -> Arrows (Domains (String -> QName -> Warning)) (S Word32)
    forall t.
    (ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
     All EmbPrj (Domains t)) =>
    Word32 -> t -> Arrows (Domains t) (S Word32)
    icodeN Word32
    66 String -> QName -> Warning
    PragmaExpectsDefinedSymbol String
    a QName
    b
        UnfoldingWrongName QName
    a                        -> Word32
    -> (QName -> Warning)
    -> Arrows (Domains (QName -> Warning)) (S Word32)
    forall t.
    (ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
     All EmbPrj (Domains t)) =>
    Word32 -> t -> Arrows (Domains t) (S Word32)
    icodeN Word32
    67 QName -> Warning
    UnfoldingWrongName QName
    a
        -- TODO: linearity
        -- FixingQuantity a b c                        -> icodeN 68 FixingQuantity a b c
        FixingRelevance String
    a Relevance
    b Relevance
    c                       -> Word32
    -> (String -> Relevance -> Relevance -> Warning)
    -> Arrows
         (Domains (String -> Relevance -> Relevance -> Warning)) (S Word32)
    forall t.
    (ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
     All EmbPrj (Domains t)) =>
    Word32 -> t -> Arrows (Domains t) (S Word32)
    icodeN Word32
    69 String -> Relevance -> Relevance -> Warning
    FixingRelevance String
    a Relevance
    b Relevance
    c
        UnusedVariablesInDisplayForm List1 Name
    a              -> Word32
    -> (List1 Name -> Warning)
    -> Arrows (Domains (List1 Name -> Warning)) (S Word32)
    forall t.
    (ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
     All EmbPrj (Domains t)) =>
    Word32 -> t -> Arrows (Domains t) (S Word32)
    icodeN Word32
    70 List1 Name -> Warning
    UnusedVariablesInDisplayForm List1 Name
    a
        HiddenNotInArgumentPosition Expr
    a               -> S Word32
    forall a. HasCallStack => a
    __IMPOSSIBLE__
        InstanceNotInArgumentPosition Expr
    a             -> S Word32
    forall a. HasCallStack => a
    __IMPOSSIBLE__
        Warning
    MacroInLetBindings                          -> S Word32
    forall a. HasCallStack => a
    __IMPOSSIBLE__
        Warning
    AbstractInLetBindings                       -> S Word32
    forall a. HasCallStack => a
    __IMPOSSIBLE__
        TopLevelPolarity QName
    a PolarityModality
    b                        -> S Word32
    forall a. HasCallStack => a
    __IMPOSSIBLE__
        TooManyPolarities QName
    a PragmaPolarities
    b                       -> Word32
    -> (QName -> PragmaPolarities -> Warning)
    -> Arrows
         (Domains (QName -> PragmaPolarities -> Warning)) (S Word32)
    forall t.
    (ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
     All EmbPrj (Domains t)) =>
    Word32 -> t -> Arrows (Domains t) (S Word32)
    icodeN Word32
    71 QName -> PragmaPolarities -> Warning
    TooManyPolarities QName
    a PragmaPolarities
    b
        FixingCohesion String
    a Cohesion
    b Cohesion
    c                        -> Word32
    -> (String -> Cohesion -> Cohesion -> Warning)
    -> Arrows
         (Domains (String -> Cohesion -> Cohesion -> Warning)) (S Word32)
    forall t.
    (ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
     All EmbPrj (Domains t)) =>
    Word32 -> t -> Arrows (Domains t) (S Word32)
    icodeN Word32
    72 String -> Cohesion -> Cohesion -> Warning
    FixingCohesion String
    a Cohesion
    b Cohesion
    c
        FixingPolarity String
    a PolarityModality
    b PolarityModality
    c                        -> Word32
    -> (String -> PolarityModality -> PolarityModality -> Warning)
    -> Arrows
         (Domains
            (String -> PolarityModality -> PolarityModality -> Warning))
         (S Word32)
    forall t.
    (ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
     All EmbPrj (Domains t)) =>
    Word32 -> t -> Arrows (Domains t) (S Word32)
    icodeN Word32
    73 String -> PolarityModality -> PolarityModality -> Warning
    FixingPolarity String
    a PolarityModality
    b PolarityModality
    c
        Warning
    RewritesNothing                             -> Word32 -> Warning -> Arrows (Domains Warning) (S Word32)
    forall t.
    (ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
     All EmbPrj (Domains t)) =>
    Word32 -> t -> Arrows (Domains t) (S Word32)
    icodeN Word32
    74 Warning
    RewritesNothing

      value :: Word32 -> R Warning
    value = ([Word32] -> R Warning) -> Word32 -> R Warning
    forall a. EmbPrj a => ([Word32] -> R a) -> Word32 -> R a
    vcase (([Word32] -> R Warning) -> Word32 -> R Warning)
    -> ([Word32] -> R Warning) -> Word32 -> R Warning
    forall a b. (a -> b) -> a -> b
    $ \ case
        [Word32
    0, Word32
    a, Word32
    b]            -> (QName -> List1 Range -> Warning)
    -> Arrows
         (Constant Word32 (Domains (QName -> List1 Range -> Warning)))
         (R (CoDomain (QName -> List1 Range -> Warning)))
    forall t.
    (VALU t (IsBase t),
     StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
     All EmbPrj (Domains t)) =>
    t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
    valuN QName -> List1 Range -> Warning
    UnreachableClauses Word32
    a Word32
    b
        [Word32
    1, Word32
    a, Word32
    b]            -> (BuiltinId -> BuiltinId -> Warning)
    -> Arrows
         (Constant Word32 (Domains (BuiltinId -> BuiltinId -> Warning)))
         (R (CoDomain (BuiltinId -> BuiltinId -> Warning)))
    forall t.
    (VALU t (IsBase t),
     StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
     All EmbPrj (Domains t)) =>
    t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
    valuN BuiltinId -> BuiltinId -> Warning
    OldBuiltin Word32
    a Word32
    b
        [Word32
    2]                  -> Warning
    -> Arrows
         (Constant Word32 (Domains Warning)) (R (CoDomain Warning))
    forall t.
    (VALU t (IsBase t),
     StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
     All EmbPrj (Domains t)) =>
    t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
    valuN Warning
    EmptyRewritePragma
        [Word32
    3, Word32
    a]               -> (UselessPublicReason -> Warning)
    -> Arrows
         (Constant Word32 (Domains (UselessPublicReason -> Warning)))
         (R (CoDomain (UselessPublicReason -> Warning)))
    forall t.
    (VALU t (IsBase t),
     StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
     All EmbPrj (Domains t)) =>
    t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
    valuN UselessPublicReason -> Warning
    UselessPublic Word32
    a
        [Word32
    4, Word32
    a]               -> (QName -> Warning)
    -> Arrows
         (Constant Word32 (Domains (QName -> Warning)))
         (R (CoDomain (QName -> Warning)))
    forall t.
    (VALU t (IsBase t),
     StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
     All EmbPrj (Domains t)) =>
    t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
    valuN QName -> Warning
    UselessInline Word32
    a
        [Word32
    5, Word32
    a]               -> (RecordDirective -> Warning)
    -> Arrows
         (Constant Word32 (Domains (RecordDirective -> Warning)))
         (R (CoDomain (RecordDirective -> Warning)))
    forall t.
    (VALU t (IsBase t),
     StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
     All EmbPrj (Domains t)) =>
    t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
    valuN RecordDirective -> Warning
    DuplicateRecordDirective Word32
    a
        [Word32
    6, Word32
    a, Word32
    b, Word32
    c]         -> (String -> String -> String -> Warning)
    -> Arrows
         (Constant Word32 (Domains (String -> String -> String -> Warning)))
         (R (CoDomain (String -> String -> String -> Warning)))
    forall t.
    (VALU t (IsBase t),
     StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
     All EmbPrj (Domains t)) =>
    t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
    valuN String -> String -> String -> Warning
    DeprecationWarning Word32
    a Word32
    b Word32
    c
        [Word32
    7, Word32
    a]               -> (DeclarationWarning -> Warning)
    -> Arrows
         (Constant Word32 (Domains (DeclarationWarning -> Warning)))
         (R (CoDomain (DeclarationWarning -> Warning)))
    forall t.
    (VALU t (IsBase t),
     StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
     All EmbPrj (Domains t)) =>
    t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
    valuN DeclarationWarning -> Warning
    NicifierIssue Word32
    a
        [Word32
    8, Word32
    a]               -> (QName -> Warning)
    -> Arrows
         (Constant Word32 (Domains (QName -> Warning)))
         (R (CoDomain (QName -> Warning)))
    forall t.
    (VALU t (IsBase t),
     StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
     All EmbPrj (Domains t)) =>
    t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
    valuN QName -> Warning
    InversionDepthReached Word32
    a
        [Word32
    9, Word32
    a]               -> (Text -> Warning)
    -> Arrows
         (Constant Word32 (Domains (Text -> Warning)))
         (R (CoDomain (Text -> Warning)))
    forall t.
    (VALU t (IsBase t),
     StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
     All EmbPrj (Domains t)) =>
    t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
    valuN Text -> Warning
    UserWarning Word32
    a
        [Word32
    10]                 -> Warning
    -> Arrows
         (Constant Word32 (Domains Warning)) (R (CoDomain Warning))
    forall t.
    (VALU t (IsBase t),
     StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
     All EmbPrj (Domains t)) =>
    t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
    valuN Warning
    AbsurdPatternRequiresAbsentRHS
        [Word32
    11, Word32
    a, Word32
    b, Word32
    c, Word32
    d]     -> (QName -> [Name] -> [Name] -> List1 ImportedName -> Warning)
    -> Arrows
         (Constant
            Word32
            (Domains
               (QName -> [Name] -> [Name] -> List1 ImportedName -> Warning)))
         (R (CoDomain
               (QName -> [Name] -> [Name] -> List1 ImportedName -> Warning)))
    forall t.
    (VALU t (IsBase t),
     StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
     All EmbPrj (Domains t)) =>
    t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
    valuN QName -> [Name] -> [Name] -> List1 ImportedName -> Warning
    ModuleDoesntExport Word32
    a Word32
    b Word32
    c Word32
    d
        [Word32
    12, Word32
    a]              -> (LibWarning -> Warning)
    -> Arrows
         (Constant Word32 (Domains (LibWarning -> Warning)))
         (R (CoDomain (LibWarning -> Warning)))
    forall t.
    (VALU t (IsBase t),
     StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
     All EmbPrj (Domains t)) =>
    t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
    valuN LibWarning -> Warning
    LibraryWarning Word32
    a
        [Word32
    13, Word32
    a, Word32
    b]           -> (QName -> List1 Clause -> Warning)
    -> Arrows
         (Constant Word32 (Domains (QName -> List1 Clause -> Warning)))
         (R (CoDomain (QName -> List1 Clause -> Warning)))
    forall t.
    (VALU t (IsBase t),
     StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
     All EmbPrj (Domains t)) =>
    t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
    valuN QName -> List1 Clause -> Warning
    CoverageNoExactSplit Word32
    a Word32
    b
        [Word32
    14, Word32
    a]              -> (Set1 MetaId -> Warning)
    -> Arrows
         (Constant Word32 (Domains (Set1 MetaId -> Warning)))
         (R (CoDomain (Set1 MetaId -> Warning)))
    forall t.
    (VALU t (IsBase t),
     StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
     All EmbPrj (Domains t)) =>
    t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
    valuN Set1 MetaId -> Warning
    CantGeneralizeOverSorts Word32
    a
        [Word32
    15, Word32
    a]              -> (String -> Warning)
    -> Arrows
         (Constant Word32 (Domains (String -> Warning)))
         (R (CoDomain (String -> Warning)))
    forall t.
    (VALU t (IsBase t),
     StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
     All EmbPrj (Domains t)) =>
    t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
    valuN String -> Warning
    IllformedAsClause Word32
    a
        [Word32
    16]                 -> Warning
    -> Arrows
         (Constant Word32 (Domains Warning)) (R (CoDomain Warning))
    forall t.
    (VALU t (IsBase t),
     StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
     All EmbPrj (Domains t)) =>
    t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
    valuN Warning
    WithoutKFlagPrimEraseEquality
        [Word32
    17, Word32
    a]              -> (QName -> Warning)
    -> Arrows
         (Constant Word32 (Domains (QName -> Warning)))
         (R (CoDomain (QName -> Warning)))
    forall t.
    (VALU t (IsBase t),
     StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
     All EmbPrj (Domains t)) =>
    t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
    valuN QName -> Warning
    InstanceWithExplicitArg Word32
    a
        [Word32
    18, Word32
    a]              -> (Doc -> Warning)
    -> Arrows
         (Constant Word32 (Domains (Doc -> Warning)))
         (R (CoDomain (Doc -> Warning)))
    forall t.
    (VALU t (IsBase t),
     StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
     All EmbPrj (Domains t)) =>
    t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
    valuN Doc -> Warning
    InfectiveImport Word32
    a
        [Word32
    19, Word32
    a]              -> (Doc -> Warning)
    -> Arrows
         (Constant Word32 (Domains (Doc -> Warning)))
         (R (CoDomain (Doc -> Warning)))
    forall t.
    (VALU t (IsBase t),
     StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
     All EmbPrj (Domains t)) =>
    t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
    valuN Doc -> Warning
    CoInfectiveImport Word32
    a
        [Word32
    20, Word32
    a]              -> (Doc -> Warning)
    -> Arrows
         (Constant Word32 (Domains (Doc -> Warning)))
         (R (CoDomain (Doc -> Warning)))
    forall t.
    (VALU t (IsBase t),
     StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
     All EmbPrj (Domains t)) =>
    t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
    valuN Doc -> Warning
    InstanceNoOutputTypeName Word32
    a
        [Word32
    21, Word32
    a]              -> (Doc -> Warning)
    -> Arrows
         (Constant Word32 (Domains (Doc -> Warning)))
         (R (CoDomain (Doc -> Warning)))
    forall t.
    (VALU t (IsBase t),
     StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
     All EmbPrj (Domains t)) =>
    t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
    valuN Doc -> Warning
    InstanceArgWithExplicitArg Word32
    a
        [Word32
    22]                 -> Warning
    -> Arrows
         (Constant Word32 (Domains Warning)) (R (CoDomain Warning))
    forall t.
    (VALU t (IsBase t),
     StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
     All EmbPrj (Domains t)) =>
    t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
    valuN Warning
    WrongInstanceDeclaration
        [Word32
    23, Word32
    a, Word32
    b, Word32
    c, Word32
    d]     -> (Term -> Term -> Term -> Doc -> Warning)
    -> Arrows
         (Constant
            Word32 (Domains (Term -> Term -> Term -> Doc -> Warning)))
         (R (CoDomain (Term -> Term -> Term -> Doc -> Warning)))
    forall t.
    (VALU t (IsBase t),
     StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
     All EmbPrj (Domains t)) =>
    t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
    valuN Term -> Term -> Term -> Doc -> Warning
    RewriteNonConfluent Word32
    a Word32
    b Word32
    c Word32
    d
        [Word32
    24, Word32
    a, Word32
    b, Word32
    c]        -> (Term -> Term -> [Doc] -> Warning)
    -> Arrows
         (Constant Word32 (Domains (Term -> Term -> [Doc] -> Warning)))
         (R (CoDomain (Term -> Term -> [Doc] -> Warning)))
    forall t.
    (VALU t (IsBase t),
     StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
     All EmbPrj (Domains t)) =>
    t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
    valuN Term -> Term -> [Doc] -> Warning
    RewriteMaybeNonConfluent Word32
    a Word32
    b Word32
    c
        [Word32
    25, Word32
    a, Word32
    b]           -> (Text -> QName -> Warning)
    -> Arrows
         (Constant Word32 (Domains (Text -> QName -> Warning)))
         (R (CoDomain (Text -> QName -> Warning)))
    forall t.
    (VALU t (IsBase t),
     StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
     All EmbPrj (Domains t)) =>
    t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
    valuN Text -> QName -> Warning
    PragmaCompileErased Word32
    a Word32
    b
        [Word32
    26, Word32
    a]              -> (List1 Range -> Warning)
    -> Arrows
         (Constant Word32 (Domains (List1 Range -> Warning)))
         (R (CoDomain (List1 Range -> Warning)))
    forall t.
    (VALU t (IsBase t),
     StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
     All EmbPrj (Domains t)) =>
    t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
    valuN List1 Range -> Warning
    FixityInRenamingModule Word32
    a
        [Word32
    27, Word32
    a]              -> (QName -> Warning)
    -> Arrows
         (Constant Word32 (Domains (QName -> Warning)))
         (R (CoDomain (QName -> Warning)))
    forall t.
    (VALU t (IsBase t),
     StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
     All EmbPrj (Domains t)) =>
    t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
    valuN QName -> Warning
    NotInScopeW Word32
    a
        [Word32
    28, Word32
    a, Word32
    b]           -> (NameOrModule -> Set1 Name -> Warning)
    -> Arrows
         (Constant Word32 (Domains (NameOrModule -> Set1 Name -> Warning)))
         (R (CoDomain (NameOrModule -> Set1 Name -> Warning)))
    forall t.
    (VALU t (IsBase t),
     StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
     All EmbPrj (Domains t)) =>
    t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
    valuN NameOrModule -> Set1 Name -> Warning
    ClashesViaRenaming Word32
    a Word32
    b
        [Word32
    29, Word32
    a]              -> (RecordFieldWarning -> Warning)
    -> Arrows
         (Constant Word32 (Domains (RecordFieldWarning -> Warning)))
         (R (CoDomain (RecordFieldWarning -> Warning)))
    forall t.
    (VALU t (IsBase t),
     StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
     All EmbPrj (Domains t)) =>
    t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
    valuN RecordFieldWarning -> Warning
    RecordFieldWarning Word32
    a
        [Word32
    30, Word32
    a]              -> (String -> Warning)
    -> Arrows
         (Constant Word32 (Domains (String -> Warning)))
         (R (CoDomain (String -> Warning)))
    forall t.
    (VALU t (IsBase t),
     StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
     All EmbPrj (Domains t)) =>
    t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
    valuN String -> Warning
    UselessPatternDeclarationForRecord Word32
    a
        [Word32
    31]                 -> Warning
    -> Arrows
         (Constant Word32 (Domains Warning)) (R (CoDomain Warning))
    forall t.
    (VALU t (IsBase t),
     StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
     All EmbPrj (Domains t)) =>
    t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
    valuN Warning
    EmptyWhere
        [Word32
    32, Word32
    a]              -> (ConstructorOrPatternSynonym -> Warning)
    -> Arrows
         (Constant
            Word32 (Domains (ConstructorOrPatternSynonym -> Warning)))
         (R (CoDomain (ConstructorOrPatternSynonym -> Warning)))
    forall t.
    (VALU t (IsBase t),
     StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
     All EmbPrj (Domains t)) =>
    t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
    valuN ConstructorOrPatternSynonym -> Warning
    AsPatternShadowsConstructorOrPatternSynonym Word32
    a
        [Word32
    33, Word32
    a]              -> (List1 ImportedName -> Warning)
    -> Arrows
         (Constant Word32 (Domains (List1 ImportedName -> Warning)))
         (R (CoDomain (List1 ImportedName -> Warning)))
    forall t.
    (VALU t (IsBase t),
     StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
     All EmbPrj (Domains t)) =>
    t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
    valuN List1 ImportedName -> Warning
    DuplicateUsing Word32
    a
        [Word32
    34, Word32
    a]              -> (List1 ImportedName -> Warning)
    -> Arrows
         (Constant Word32 (Domains (List1 ImportedName -> Warning)))
         (R (CoDomain (List1 ImportedName -> Warning)))
    forall t.
    (VALU t (IsBase t),
     StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
     All EmbPrj (Domains t)) =>
    t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
    valuN List1 ImportedName -> Warning
    UselessHiding Word32
    a
        [Word32
    35, Word32
    a, Word32
    b]           -> (Range -> Doc -> Warning)
    -> Arrows
         (Constant Word32 (Domains (Range -> Doc -> Warning)))
         (R (CoDomain (Range -> Doc -> Warning)))
    forall t.
    (VALU t (IsBase t),
     StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
     All EmbPrj (Domains t)) =>
    t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
    valuN Range -> Doc -> Warning
    UselessPragma Word32
    a Word32
    b
        [Word32
    36, Word32
    a, Word32
    b, Word32
    c]        -> (Term -> Term -> Term -> Warning)
    -> Arrows
         (Constant Word32 (Domains (Term -> Term -> Term -> Warning)))
         (R (CoDomain (Term -> Term -> Term -> Warning)))
    forall t.
    (VALU t (IsBase t),
     StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
     All EmbPrj (Domains t)) =>
    t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
    valuN Term -> Term -> Term -> Warning
    RewriteAmbiguousRules Word32
    a Word32
    b Word32
    c
        [Word32
    37, Word32
    a, Word32
    b, Word32
    c]        -> (Term -> Term -> Term -> Warning)
    -> Arrows
         (Constant Word32 (Domains (Term -> Term -> Term -> Warning)))
         (R (CoDomain (Term -> Term -> Term -> Warning)))
    forall t.
    (VALU t (IsBase t),
     StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
     All EmbPrj (Domains t)) =>
    t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
    valuN Term -> Term -> Term -> Warning
    RewriteMissingRule Word32
    a Word32
    b Word32
    c
        [Word32
    38, Word32
    a]              -> (ParseWarning -> Warning)
    -> Arrows
         (Constant Word32 (Domains (ParseWarning -> Warning)))
         (R (CoDomain (ParseWarning -> Warning)))
    forall t.
    (VALU t (IsBase t),
     StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
     All EmbPrj (Domains t)) =>
    t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
    valuN ParseWarning -> Warning
    ParseWarning Word32
    a
        [Word32
    39]                 -> Warning
    -> Arrows
         (Constant Word32 (Domains Warning)) (R (CoDomain Warning))
    forall t.
    (VALU t (IsBase t),
     StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
     All EmbPrj (Domains t)) =>
    t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
    valuN Warning
    UselessTactic
        [Word32
    40, Word32
    a]              -> (Doc -> Warning)
    -> Arrows
         (Constant Word32 (Domains (Doc -> Warning)))
         (R (CoDomain (Doc -> Warning)))
    forall t.
    (VALU t (IsBase t),
     StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
     All EmbPrj (Domains t)) =>
    t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
    valuN Doc -> Warning
    UnsupportedIndexedMatch Word32
    a
        [Word32
    41, Word32
    a]              -> (OptionWarning -> Warning)
    -> Arrows
         (Constant Word32 (Domains (OptionWarning -> Warning)))
         (R (CoDomain (OptionWarning -> Warning)))
    forall t.
    (VALU t (IsBase t),
     StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
     All EmbPrj (Domains t)) =>
    t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
    valuN OptionWarning -> Warning
    OptionWarning Word32
    a
        [Word32
    42, Word32
    a]              -> (QωOrigin -> Warning)
    -> Arrows
         (Constant Word32 (Domains (QωOrigin -> Warning)))
         (R (CoDomain (QωOrigin -> Warning)))
    forall t.
    (VALU t (IsBase t),
     StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
     All EmbPrj (Domains t)) =>
    t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
    valuN QωOrigin -> Warning
    PlentyInHardCompileTimeMode Word32
    a
        [Word32
    43]                 -> Warning
    -> Arrows
         (Constant Word32 (Domains Warning)) (R (CoDomain Warning))
    forall t.
    (VALU t (IsBase t),
     StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
     All EmbPrj (Domains t)) =>
    t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
    valuN Warning
    NotAffectedByOpaque
        [Word32
    44, Word32
    a]              -> (QName -> Warning)
    -> Arrows
         (Constant Word32 (Domains (QName -> Warning)))
         (R (CoDomain (QName -> Warning)))
    forall t.
    (VALU t (IsBase t),
     StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
     All EmbPrj (Domains t)) =>
    t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
    valuN QName -> Warning
    UnfoldTransparentName Word32
    a
        [Word32
    45]                 -> Warning
    -> Arrows
         (Constant Word32 (Domains Warning)) (R (CoDomain Warning))
    forall t.
    (VALU t (IsBase t),
     StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
     All EmbPrj (Domains t)) =>
    t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
    valuN Warning
    UselessOpaque
        [Word32
    46, Word32
    a, Word32
    b]           -> (QName -> Clause -> Warning)
    -> Arrows
         (Constant Word32 (Domains (QName -> Clause -> Warning)))
         (R (CoDomain (QName -> Clause -> Warning)))
    forall t.
    (VALU t (IsBase t),
     StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
     All EmbPrj (Domains t)) =>
    t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
    valuN QName -> Clause -> Warning
    InlineNoExactSplit Word32
    a Word32
    b
        [Word32
    47, Word32
    a]              -> (ArgInfo -> Warning)
    -> Arrows
         (Constant Word32 (Domains (ArgInfo -> Warning)))
         (R (CoDomain (ArgInfo -> Warning)))
    forall t.
    (VALU t (IsBase t),
     StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
     All EmbPrj (Domains t)) =>
    t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
    valuN ArgInfo -> Warning
    FaceConstraintCannotBeHidden Word32
    a
        [Word32
    48, Word32
    a]              -> (NamedName -> Warning)
    -> Arrows
         (Constant Word32 (Domains (NamedName -> Warning)))
         (R (CoDomain (NamedName -> Warning)))
    forall t.
    (VALU t (IsBase t),
     StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
     All EmbPrj (Domains t)) =>
    t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
    valuN NamedName -> Warning
    FaceConstraintCannotBeNamed Word32
    a
        [Word32
    49, Word32
    a, Word32
    b]           -> (Name -> QName -> Warning)
    -> Arrows
         (Constant Word32 (Domains (Name -> QName -> Warning)))
         (R (CoDomain (Name -> QName -> Warning)))
    forall t.
    (VALU t (IsBase t),
     StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
     All EmbPrj (Domains t)) =>
    t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
    valuN Name -> QName -> Warning
    PatternShadowsConstructor Word32
    a Word32
    b
        [Word32
    50, Word32
    a]              -> (QName -> Warning)
    -> Arrows
         (Constant Word32 (Domains (QName -> Warning)))
         (R (CoDomain (QName -> Warning)))
    forall t.
    (VALU t (IsBase t),
     StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
     All EmbPrj (Domains t)) =>
    t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
    valuN QName -> Warning
    ConfluenceCheckingIncompleteBecauseOfMeta Word32
    a
        [Word32
    51, Word32
    a]              -> (BuiltinId -> Warning)
    -> Arrows
         (Constant Word32 (Domains (BuiltinId -> Warning)))
         (R (CoDomain (BuiltinId -> Warning)))
    forall t.
    (VALU t (IsBase t),
     StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
     All EmbPrj (Domains t)) =>
    t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
    valuN BuiltinId -> Warning
    BuiltinDeclaresIdentifier Word32
    a
        [Word32
    52]                 -> Warning
    -> Arrows
         (Constant Word32 (Domains Warning)) (R (CoDomain Warning))
    forall t.
    (VALU t (IsBase t),
     StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
     All EmbPrj (Domains t)) =>
    t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
    valuN Warning
    ConfluenceForCubicalNotSupported
        [Word32
    53, Word32
    a, Word32
    b]           -> (QName -> IllegalRewriteRuleReason -> Warning)
    -> Arrows
         (Constant
            Word32 (Domains (QName -> IllegalRewriteRuleReason -> Warning)))
         (R (CoDomain (QName -> IllegalRewriteRuleReason -> Warning)))
    forall t.
    (VALU t (IsBase t),
     StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
     All EmbPrj (Domains t)) =>
    t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
    valuN QName -> IllegalRewriteRuleReason -> Warning
    IllegalRewriteRule Word32
    a Word32
    b
        [Word32
    54, Word32
    a, Word32
    b]           -> (QName -> IsOpaque -> Warning)
    -> Arrows
         (Constant Word32 (Domains (QName -> IsOpaque -> Warning)))
         (R (CoDomain (QName -> IsOpaque -> Warning)))
    forall t.
    (VALU t (IsBase t),
     StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
     All EmbPrj (Domains t)) =>
    t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
    valuN QName -> IsOpaque -> Warning
    MissingTypeSignatureForOpaque Word32
    a Word32
    b
        [Word32
    55, Word32
    a, Word32
    b]           -> (String -> String -> Warning)
    -> Arrows
         (Constant Word32 (Domains (String -> String -> Warning)))
         (R (CoDomain (String -> String -> Warning)))
    forall t.
    (VALU t (IsBase t),
     StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
     All EmbPrj (Domains t)) =>
    t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
    valuN String -> String -> Warning
    ConflictingPragmaOptions Word32
    a Word32
    b
        [Word32
    56, Word32
    a, Word32
    b]           -> (String -> Doc -> Warning)
    -> Arrows
         (Constant Word32 (Domains (String -> Doc -> Warning)))
         (R (CoDomain (String -> Doc -> Warning)))
    forall t.
    (VALU t (IsBase t),
     StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
     All EmbPrj (Domains t)) =>
    t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
    valuN String -> Doc -> Warning
    CustomBackendWarning Word32
    a Word32
    b
        [Word32
    57, Word32
    a]              -> (QName -> Warning)
    -> Arrows
         (Constant Word32 (Domains (QName -> Warning)))
         (R (CoDomain (QName -> Warning)))
    forall t.
    (VALU t (IsBase t),
     StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
     All EmbPrj (Domains t)) =>
    t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
    valuN QName -> Warning
    CoinductiveEtaRecord Word32
    a
        [Word32
    58, Word32
    a, Word32
    b, Word32
    c, Word32
    d]     -> (NamedArg Pattern
     -> ProjOrigin -> NamedArg DeBruijnPattern -> ProjOrigin -> Warning)
    -> Arrows
         (Constant
            Word32
            (Domains
               (NamedArg Pattern
                -> ProjOrigin
                -> NamedArg DeBruijnPattern
                -> ProjOrigin
                -> Warning)))
         (R (CoDomain
               (NamedArg Pattern
                -> ProjOrigin
                -> NamedArg DeBruijnPattern
                -> ProjOrigin
                -> Warning)))
    forall t.
    (VALU t (IsBase t),
     StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
     All EmbPrj (Domains t)) =>
    t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
    valuN NamedArg Pattern
    -> ProjOrigin -> NamedArg DeBruijnPattern -> ProjOrigin -> Warning
    WithClauseProjectionFixityMismatch Word32
    a Word32
    b Word32
    c Word32
    d
        [Word32
    59, Word32
    a, Word32
    b]           -> (QName -> String -> Warning)
    -> Arrows
         (Constant Word32 (Domains (QName -> String -> Warning)))
         (R (CoDomain (QName -> String -> Warning)))
    forall t.
    (VALU t (IsBase t),
     StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
     All EmbPrj (Domains t)) =>
    t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
    valuN QName -> String -> Warning
    InvalidDisplayForm Word32
    a Word32
    b
        [Word32
    60, Word32
    a, Word32
    b]           -> (QName -> IsAmbiguous -> Warning)
    -> Arrows
         (Constant Word32 (Domains (QName -> IsAmbiguous -> Warning)))
         (R (CoDomain (QName -> IsAmbiguous -> Warning)))
    forall t.
    (VALU t (IsBase t),
     StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
     All EmbPrj (Domains t)) =>
    t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
    valuN QName -> IsAmbiguous -> Warning
    NotARewriteRule Word32
    a Word32
    b
        [Word32
    61, Word32
    a, Word32
    b]           -> (QName -> IsAmbiguous -> Warning)
    -> Arrows
         (Constant Word32 (Domains (QName -> IsAmbiguous -> Warning)))
         (R (CoDomain (QName -> IsAmbiguous -> Warning)))
    forall t.
    (VALU t (IsBase t),
     StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
     All EmbPrj (Domains t)) =>
    t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
    valuN QName -> IsAmbiguous -> Warning
    PragmaCompileWrongName Word32
    a Word32
    b
        [Word32
    62, Word32
    a]              -> (String -> Warning)
    -> Arrows
         (Constant Word32 (Domains (String -> Warning)))
         (R (CoDomain (String -> Warning)))
    forall t.
    (VALU t (IsBase t),
     StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
     All EmbPrj (Domains t)) =>
    t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
    valuN String -> Warning
    PragmaCompileUnparsable Word32
    a
        [Word32
    63, Word32
    a, Word32
    b]           -> (QName -> String -> Warning)
    -> Arrows
         (Constant Word32 (Domains (QName -> String -> Warning)))
         (R (CoDomain (QName -> String -> Warning)))
    forall t.
    (VALU t (IsBase t),
     StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
     All EmbPrj (Domains t)) =>
    t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
    valuN QName -> String -> Warning
    PragmaCompileWrong Word32
    a Word32
    b
        [Word32
    64, Word32
    a, Word32
    b, Word32
    c]        -> (String -> QName -> IsAmbiguous -> Warning)
    -> Arrows
         (Constant
            Word32 (Domains (String -> QName -> IsAmbiguous -> Warning)))
         (R (CoDomain (String -> QName -> IsAmbiguous -> Warning)))
    forall t.
    (VALU t (IsBase t),
     StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
     All EmbPrj (Domains t)) =>
    t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
    valuN String -> QName -> IsAmbiguous -> Warning
    PragmaExpectsUnambiguousConstructorOrFunction Word32
    a Word32
    b Word32
    c
        [Word32
    65, Word32
    a, Word32
    b, Word32
    c]        -> (String -> QName -> IsAmbiguous -> Warning)
    -> Arrows
         (Constant
            Word32 (Domains (String -> QName -> IsAmbiguous -> Warning)))
         (R (CoDomain (String -> QName -> IsAmbiguous -> Warning)))
    forall t.
    (VALU t (IsBase t),
     StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
     All EmbPrj (Domains t)) =>
    t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
    valuN String -> QName -> IsAmbiguous -> Warning
    PragmaExpectsUnambiguousProjectionOrFunction Word32
    a Word32
    b Word32
    c
        [Word32
    66, Word32
    a, Word32
    b]           -> (String -> QName -> Warning)
    -> Arrows
         (Constant Word32 (Domains (String -> QName -> Warning)))
         (R (CoDomain (String -> QName -> Warning)))
    forall t.
    (VALU t (IsBase t),
     StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
     All EmbPrj (Domains t)) =>
    t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
    valuN String -> QName -> Warning
    PragmaExpectsDefinedSymbol Word32
    a Word32
    b
        [Word32
    67, Word32
    a]              -> (QName -> Warning)
    -> Arrows
         (Constant Word32 (Domains (QName -> Warning)))
         (R (CoDomain (QName -> Warning)))
    forall t.
    (VALU t (IsBase t),
     StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
     All EmbPrj (Domains t)) =>
    t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
    valuN QName -> Warning
    UnfoldingWrongName Word32
    a
        -- TODO: linearity
        -- [68, a, b, c]        -> valuN FixingQuantity a b c
        [Word32
    69, Word32
    a, Word32
    b, Word32
    c]        -> (String -> Relevance -> Relevance -> Warning)
    -> Arrows
         (Constant
            Word32 (Domains (String -> Relevance -> Relevance -> Warning)))
         (R (CoDomain (String -> Relevance -> Relevance -> Warning)))
    forall t.
    (VALU t (IsBase t),
     StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
     All EmbPrj (Domains t)) =>
    t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
    valuN String -> Relevance -> Relevance -> Warning
    FixingRelevance Word32
    a Word32
    b Word32
    c
        [Word32
    70, Word32
    a]              -> (List1 Name -> Warning)
    -> Arrows
         (Constant Word32 (Domains (List1 Name -> Warning)))
         (R (CoDomain (List1 Name -> Warning)))
    forall t.
    (VALU t (IsBase t),
     StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
     All EmbPrj (Domains t)) =>
    t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
    valuN List1 Name -> Warning
    UnusedVariablesInDisplayForm Word32
    a
        [Word32
    71, Word32
    a, Word32
    b]           -> (QName -> PragmaPolarities -> Warning)
    -> Arrows
         (Constant Word32 (Domains (QName -> PragmaPolarities -> Warning)))
         (R (CoDomain (QName -> PragmaPolarities -> Warning)))
    forall t.
    (VALU t (IsBase t),
     StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
     All EmbPrj (Domains t)) =>
    t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
    valuN QName -> PragmaPolarities -> Warning
    TooManyPolarities Word32
    a Word32
    b
        [Word32
    72, Word32
    a, Word32
    b, Word32
    c]        -> (String -> Cohesion -> Cohesion -> Warning)
    -> Arrows
         (Constant
            Word32 (Domains (String -> Cohesion -> Cohesion -> Warning)))
         (R (CoDomain (String -> Cohesion -> Cohesion -> Warning)))
    forall t.
    (VALU t (IsBase t),
     StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
     All EmbPrj (Domains t)) =>
    t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
    valuN String -> Cohesion -> Cohesion -> Warning
    FixingCohesion Word32
    a Word32
    b Word32
    c
        [Word32
    73, Word32
    a, Word32
    b, Word32
    c]        -> (String -> PolarityModality -> PolarityModality -> Warning)
    -> Arrows
         (Constant
            Word32
            (Domains
               (String -> PolarityModality -> PolarityModality -> Warning)))
         (R (CoDomain
               (String -> PolarityModality -> PolarityModality -> Warning)))
    forall t.
    (VALU t (IsBase t),
     StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
     All EmbPrj (Domains t)) =>
    t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
    valuN String -> PolarityModality -> PolarityModality -> Warning
    FixingPolarity Word32
    a Word32
    b Word32
    c
        [Word32
    74]                 -> Warning
    -> Arrows
         (Constant Word32 (Domains Warning)) (R (CoDomain Warning))
    forall t.
    (VALU t (IsBase t),
     StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
     All EmbPrj (Domains t)) =>
    t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
    valuN Warning
    RewritesNothing
        [Word32]
    _ -> R Warning
    forall a. R a
    malformed

    instance EmbPrj UselessPublicReason

    instance EmbPrj IllegalRewriteRuleReason where
      icod_ :: IllegalRewriteRuleReason -> S Word32
    icod_ = \case
        IllegalRewriteRuleReason
    LHSNotDefinitionOrConstructor               -> Word32
    -> IllegalRewriteRuleReason
    -> Arrows (Domains IllegalRewriteRuleReason) (S Word32)
    forall t.
    (ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
     All EmbPrj (Domains t)) =>
    Word32 -> t -> Arrows (Domains t) (S Word32)
    icodeN Word32
    0 IllegalRewriteRuleReason
    LHSNotDefinitionOrConstructor
        VariablesNotBoundByLHS IntSet
    a                    -> Word32
    -> (IntSet -> IllegalRewriteRuleReason)
    -> Arrows (Domains (IntSet -> IllegalRewriteRuleReason)) (S Word32)
    forall t.
    (ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
     All EmbPrj (Domains t)) =>
    Word32 -> t -> Arrows (Domains t) (S Word32)
    icodeN Word32
    1 IntSet -> IllegalRewriteRuleReason
    VariablesNotBoundByLHS IntSet
    a
        VariablesBoundMoreThanOnce IntSet
    a                -> Word32
    -> (IntSet -> IllegalRewriteRuleReason)
    -> Arrows (Domains (IntSet -> IllegalRewriteRuleReason)) (S Word32)
    forall t.
    (ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
     All EmbPrj (Domains t)) =>
    Word32 -> t -> Arrows (Domains t) (S Word32)
    icodeN Word32
    2 IntSet -> IllegalRewriteRuleReason
    VariablesBoundMoreThanOnce IntSet
    a
        LHSReduces Term
    a Term
    b                              -> Word32
    -> (Term -> Term -> IllegalRewriteRuleReason)
    -> Arrows
         (Domains (Term -> Term -> IllegalRewriteRuleReason)) (S Word32)
    forall t.
    (ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
     All EmbPrj (Domains t)) =>
    Word32 -> t -> Arrows (Domains t) (S Word32)
    icodeN Word32
    3 Term -> Term -> IllegalRewriteRuleReason
    LHSReduces Term
    a Term
    b
        -- 4 was HeadSymbolIsProjection
        HeadSymbolIsProjectionLikeFunction QName
    a        -> Word32
    -> (QName -> IllegalRewriteRuleReason)
    -> Arrows (Domains (QName -> IllegalRewriteRuleReason)) (S Word32)
    forall t.
    (ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
     All EmbPrj (Domains t)) =>
    Word32 -> t -> Arrows (Domains t) (S Word32)
    icodeN Word32
    5 QName -> IllegalRewriteRuleReason
    HeadSymbolIsProjectionLikeFunction QName
    a
        HeadSymbolIsTypeConstructor QName
    a               -> Word32
    -> (QName -> IllegalRewriteRuleReason)
    -> Arrows (Domains (QName -> IllegalRewriteRuleReason)) (S Word32)
    forall t.
    (ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
     All EmbPrj (Domains t)) =>
    Word32 -> t -> Arrows (Domains t) (S Word32)
    icodeN Word32
    6 QName -> IllegalRewriteRuleReason
    HeadSymbolIsTypeConstructor QName
    a
        HeadSymbolContainsMetas QName
    a                   -> Word32
    -> (QName -> IllegalRewriteRuleReason)
    -> Arrows (Domains (QName -> IllegalRewriteRuleReason)) (S Word32)
    forall t.
    (ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
     All EmbPrj (Domains t)) =>
    Word32 -> t -> Arrows (Domains t) (S Word32)
    icodeN Word32
    7 QName -> IllegalRewriteRuleReason
    HeadSymbolContainsMetas QName
    a
        ConstructorParametersNotGeneral ConHead
    a Args
    b         -> Word32
    -> (ConHead -> Args -> IllegalRewriteRuleReason)
    -> Arrows
         (Domains (ConHead -> Args -> IllegalRewriteRuleReason)) (S Word32)
    forall t.
    (ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
     All EmbPrj (Domains t)) =>
    Word32 -> t -> Arrows (Domains t) (S Word32)
    icodeN Word32
    8 ConHead -> Args -> IllegalRewriteRuleReason
    ConstructorParametersNotGeneral ConHead
    a Args
    b
        ContainsUnsolvedMetaVariables Set1 MetaId
    a             -> Word32
    -> (Set1 MetaId -> IllegalRewriteRuleReason)
    -> Arrows
         (Domains (Set1 MetaId -> IllegalRewriteRuleReason)) (S Word32)
    forall t.
    (ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
     All EmbPrj (Domains t)) =>
    Word32 -> t -> Arrows (Domains t) (S Word32)
    icodeN Word32
    9 Set1 MetaId -> IllegalRewriteRuleReason
    ContainsUnsolvedMetaVariables Set1 MetaId
    a
        BlockedOnProblems Set1 ProblemId
    a                         -> Word32
    -> (Set1 ProblemId -> IllegalRewriteRuleReason)
    -> Arrows
         (Domains (Set1 ProblemId -> IllegalRewriteRuleReason)) (S Word32)
    forall t.
    (ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
     All EmbPrj (Domains t)) =>
    Word32 -> t -> Arrows (Domains t) (S Word32)
    icodeN Word32
    10 Set1 ProblemId -> IllegalRewriteRuleReason
    BlockedOnProblems Set1 ProblemId
    a
        RequiresDefinitions Set1 QName
    a                       -> Word32
    -> (Set1 QName -> IllegalRewriteRuleReason)
    -> Arrows
         (Domains (Set1 QName -> IllegalRewriteRuleReason)) (S Word32)
    forall t.
    (ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
     All EmbPrj (Domains t)) =>
    Word32 -> t -> Arrows (Domains t) (S Word32)
    icodeN Word32
    11 Set1 QName -> IllegalRewriteRuleReason
    RequiresDefinitions Set1 QName
    a
        IllegalRewriteRuleReason
    DoesNotTargetRewriteRelation                -> Word32
    -> IllegalRewriteRuleReason
    -> Arrows (Domains IllegalRewriteRuleReason) (S Word32)
    forall t.
    (ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
     All EmbPrj (Domains t)) =>
    Word32 -> t -> Arrows (Domains t) (S Word32)
    icodeN Word32
    12 IllegalRewriteRuleReason
    DoesNotTargetRewriteRelation
        IllegalRewriteRuleReason
    BeforeFunctionDefinition                    -> Word32
    -> IllegalRewriteRuleReason
    -> Arrows (Domains IllegalRewriteRuleReason) (S Word32)
    forall t.
    (ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
     All EmbPrj (Domains t)) =>
    Word32 -> t -> Arrows (Domains t) (S Word32)
    icodeN Word32
    13 IllegalRewriteRuleReason
    BeforeFunctionDefinition
        BeforeMutualFunctionDefinition QName
    a            -> Word32
    -> (QName -> IllegalRewriteRuleReason)
    -> Arrows (Domains (QName -> IllegalRewriteRuleReason)) (S Word32)
    forall t.
    (ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
     All EmbPrj (Domains t)) =>
    Word32 -> t -> Arrows (Domains t) (S Word32)
    icodeN Word32
    14 QName -> IllegalRewriteRuleReason
    BeforeMutualFunctionDefinition QName
    a
        IllegalRewriteRuleReason
    DuplicateRewriteRule                        -> Word32
    -> IllegalRewriteRuleReason
    -> Arrows (Domains IllegalRewriteRuleReason) (S Word32)
    forall t.
    (ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
     All EmbPrj (Domains t)) =>
    Word32 -> t -> Arrows (Domains t) (S Word32)
    icodeN Word32
    15 IllegalRewriteRuleReason
    DuplicateRewriteRule

      value :: Word32 -> R IllegalRewriteRuleReason
    value = ([Word32] -> R IllegalRewriteRuleReason)
    -> Word32 -> R IllegalRewriteRuleReason
    forall a. EmbPrj a => ([Word32] -> R a) -> Word32 -> R a
    vcase (([Word32] -> R IllegalRewriteRuleReason)
     -> Word32 -> R IllegalRewriteRuleReason)
    -> ([Word32] -> R IllegalRewriteRuleReason)
    -> Word32
    -> R IllegalRewriteRuleReason
    forall a b. (a -> b) -> a -> b
    $ \case
        [Word32
    0]       -> IllegalRewriteRuleReason
    -> Arrows
         (Constant Word32 (Domains IllegalRewriteRuleReason))
         (R (CoDomain IllegalRewriteRuleReason))
    forall t.
    (VALU t (IsBase t),
     StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
     All EmbPrj (Domains t)) =>
    t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
    valuN IllegalRewriteRuleReason
    LHSNotDefinitionOrConstructor
        [Word32
    1, Word32
    a]    -> (IntSet -> IllegalRewriteRuleReason)
    -> Arrows
         (Constant Word32 (Domains (IntSet -> IllegalRewriteRuleReason)))
         (R (CoDomain (IntSet -> IllegalRewriteRuleReason)))
    forall t.
    (VALU t (IsBase t),
     StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
     All EmbPrj (Domains t)) =>
    t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
    valuN IntSet -> IllegalRewriteRuleReason
    VariablesNotBoundByLHS Word32
    a
        [Word32
    2, Word32
    a]    -> (IntSet -> IllegalRewriteRuleReason)
    -> Arrows
         (Constant Word32 (Domains (IntSet -> IllegalRewriteRuleReason)))
         (R (CoDomain (IntSet -> IllegalRewriteRuleReason)))
    forall t.
    (VALU t (IsBase t),
     StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
     All EmbPrj (Domains t)) =>
    t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
    valuN IntSet -> IllegalRewriteRuleReason
    VariablesBoundMoreThanOnce Word32
    a
        [Word32
    3, Word32
    a, Word32
    b] -> (Term -> Term -> IllegalRewriteRuleReason)
    -> Arrows
         (Constant
            Word32 (Domains (Term -> Term -> IllegalRewriteRuleReason)))
         (R (CoDomain (Term -> Term -> IllegalRewriteRuleReason)))
    forall t.
    (VALU t (IsBase t),
     StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
     All EmbPrj (Domains t)) =>
    t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
    valuN Term -> Term -> IllegalRewriteRuleReason
    LHSReduces Word32
    a Word32
    b
        -- 4 was HeadSymbolIsProjection
        [Word32
    5, Word32
    a]    -> (QName -> IllegalRewriteRuleReason)
    -> Arrows
         (Constant Word32 (Domains (QName -> IllegalRewriteRuleReason)))
         (R (CoDomain (QName -> IllegalRewriteRuleReason)))
    forall t.
    (VALU t (IsBase t),
     StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
     All EmbPrj (Domains t)) =>
    t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
    valuN QName -> IllegalRewriteRuleReason
    HeadSymbolIsProjectionLikeFunction Word32
    a
        [Word32
    6, Word32
    a]    -> (QName -> IllegalRewriteRuleReason)
    -> Arrows
         (Constant Word32 (Domains (QName -> IllegalRewriteRuleReason)))
         (R (CoDomain (QName -> IllegalRewriteRuleReason)))
    forall t.
    (VALU t (IsBase t),
     StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
     All EmbPrj (Domains t)) =>
    t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
    valuN QName -> IllegalRewriteRuleReason
    HeadSymbolIsTypeConstructor Word32
    a
        [Word32
    7, Word32
    a]    -> (QName -> IllegalRewriteRuleReason)
    -> Arrows
         (Constant Word32 (Domains (QName -> IllegalRewriteRuleReason)))
         (R (CoDomain (QName -> IllegalRewriteRuleReason)))
    forall t.
    (VALU t (IsBase t),
     StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
     All EmbPrj (Domains t)) =>
    t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
    valuN QName -> IllegalRewriteRuleReason
    HeadSymbolContainsMetas Word32
    a
        [Word32
    8, Word32
    a, Word32
    b] -> (ConHead -> Args -> IllegalRewriteRuleReason)
    -> Arrows
         (Constant
            Word32 (Domains (ConHead -> Args -> IllegalRewriteRuleReason)))
         (R (CoDomain (ConHead -> Args -> IllegalRewriteRuleReason)))
    forall t.
    (VALU t (IsBase t),
     StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
     All EmbPrj (Domains t)) =>
    t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
    valuN ConHead -> Args -> IllegalRewriteRuleReason
    ConstructorParametersNotGeneral Word32
    a Word32
    b
        [Word32
    9, Word32
    a]    -> (Set1 MetaId -> IllegalRewriteRuleReason)
    -> Arrows
         (Constant
            Word32 (Domains (Set1 MetaId -> IllegalRewriteRuleReason)))
         (R (CoDomain (Set1 MetaId -> IllegalRewriteRuleReason)))
    forall t.
    (VALU t (IsBase t),
     StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
     All EmbPrj (Domains t)) =>
    t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
    valuN Set1 MetaId -> IllegalRewriteRuleReason
    ContainsUnsolvedMetaVariables Word32
    a
        [Word32
    10, Word32
    a]   -> (Set1 ProblemId -> IllegalRewriteRuleReason)
    -> Arrows
         (Constant
            Word32 (Domains (Set1 ProblemId -> IllegalRewriteRuleReason)))
         (R (CoDomain (Set1 ProblemId -> IllegalRewriteRuleReason)))
    forall t.
    (VALU t (IsBase t),
     StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
     All EmbPrj (Domains t)) =>
    t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
    valuN Set1 ProblemId -> IllegalRewriteRuleReason
    BlockedOnProblems Word32
    a
        [Word32
    11, Word32
    a]   -> (Set1 QName -> IllegalRewriteRuleReason)
    -> Arrows
         (Constant
            Word32 (Domains (Set1 QName -> IllegalRewriteRuleReason)))
         (R (CoDomain (Set1 QName -> IllegalRewriteRuleReason)))
    forall t.
    (VALU t (IsBase t),
     StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
     All EmbPrj (Domains t)) =>
    t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
    valuN Set1 QName -> IllegalRewriteRuleReason
    RequiresDefinitions Word32
    a
        [Word32
    12]      -> IllegalRewriteRuleReason
    -> Arrows
         (Constant Word32 (Domains IllegalRewriteRuleReason))
         (R (CoDomain IllegalRewriteRuleReason))
    forall t.
    (VALU t (IsBase t),
     StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
     All EmbPrj (Domains t)) =>
    t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
    valuN IllegalRewriteRuleReason
    DoesNotTargetRewriteRelation
        [Word32
    13]      -> IllegalRewriteRuleReason
    -> Arrows
         (Constant Word32 (Domains IllegalRewriteRuleReason))
         (R (CoDomain IllegalRewriteRuleReason))
    forall t.
    (VALU t (IsBase t),
     StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
     All EmbPrj (Domains t)) =>
    t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
    valuN IllegalRewriteRuleReason
    BeforeFunctionDefinition
        [Word32
    14, Word32
    a]   -> (QName -> IllegalRewriteRuleReason)
    -> Arrows
         (Constant Word32 (Domains (QName -> IllegalRewriteRuleReason)))
         (R (CoDomain (QName -> IllegalRewriteRuleReason)))
    forall t.
    (VALU t (IsBase t),
     StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
     All EmbPrj (Domains t)) =>
    t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
    valuN QName -> IllegalRewriteRuleReason
    BeforeMutualFunctionDefinition Word32
    a
        [Word32
    15]      -> IllegalRewriteRuleReason
    -> Arrows
         (Constant Word32 (Domains IllegalRewriteRuleReason))
         (R (CoDomain IllegalRewriteRuleReason))
    forall t.
    (VALU t (IsBase t),
     StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
     All EmbPrj (Domains t)) =>
    t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
    valuN IllegalRewriteRuleReason
    DuplicateRewriteRule
        [Word32]
    _ -> R IllegalRewriteRuleReason
    forall a. R a
    malformed

    instance EmbPrj OptionWarning where
      icod_ :: OptionWarning -> S Word32
    icod_ = \case
        OptionRenamed String
    a String
    b -> Word32
    -> (String -> String -> OptionWarning)
    -> Arrows (Domains (String -> String -> OptionWarning)) (S Word32)
    forall t.
    (ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
     All EmbPrj (Domains t)) =>
    Word32 -> t -> Arrows (Domains t) (S Word32)
    icodeN Word32
    0 String -> String -> OptionWarning
    OptionRenamed String
    a String
    b
        WarningProblem WarningModeError
    a  -> Word32
    -> (WarningModeError -> OptionWarning)
    -> Arrows (Domains (WarningModeError -> OptionWarning)) (S Word32)
    forall t.
    (ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
     All EmbPrj (Domains t)) =>
    Word32 -> t -> Arrows (Domains t) (S Word32)
    icodeN Word32
    1 WarningModeError -> OptionWarning
    WarningProblem WarningModeError
    a

      value :: Word32 -> R OptionWarning
    value = ([Word32] -> R OptionWarning) -> Word32 -> R OptionWarning
    forall a. EmbPrj a => ([Word32] -> R a) -> Word32 -> R a
    vcase (([Word32] -> R OptionWarning) -> Word32 -> R OptionWarning)
    -> ([Word32] -> R OptionWarning) -> Word32 -> R OptionWarning
    forall a b. (a -> b) -> a -> b
    $ \case
        [Word32
    0, Word32
    a, Word32
    b] -> (String -> String -> OptionWarning)
    -> Arrows
         (Constant Word32 (Domains (String -> String -> OptionWarning)))
         (R (CoDomain (String -> String -> OptionWarning)))
    forall t.
    (VALU t (IsBase t),
     StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
     All EmbPrj (Domains t)) =>
    t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
    valuN String -> String -> OptionWarning
    OptionRenamed Word32
    a Word32
    b
        [Word32
    1, Word32
    a]    -> (WarningModeError -> OptionWarning)
    -> Arrows
         (Constant Word32 (Domains (WarningModeError -> OptionWarning)))
         (R (CoDomain (WarningModeError -> OptionWarning)))
    forall t.
    (VALU t (IsBase t),
     StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
     All EmbPrj (Domains t)) =>
    t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
    valuN WarningModeError -> OptionWarning
    WarningProblem Word32
    a
        [Word32]
    _ -> R OptionWarning
    forall a. R a
    malformed

    instance EmbPrj WarningModeError where
      icod_ :: WarningModeError -> S Word32
    icod_ = \case
        Unknown Text
    a   -> Word32
    -> (Text -> WarningModeError)
    -> Arrows (Domains (Text -> WarningModeError)) (S Word32)
    forall t.
    (ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
     All EmbPrj (Domains t)) =>
    Word32 -> t -> Arrows (Domains t) (S Word32)
    icodeN Word32
    0 Text -> WarningModeError
    Unknown Text
    a
        NoNoError Text
    a -> Word32
    -> (Text -> WarningModeError)
    -> Arrows (Domains (Text -> WarningModeError)) (S Word32)
    forall t.
    (ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
     All EmbPrj (Domains t)) =>
    Word32 -> t -> Arrows (Domains t) (S Word32)
    icodeN Word32
    1 Text -> WarningModeError
    NoNoError Text
    a

      value :: Word32 -> R WarningModeError
    value = ([Word32] -> R WarningModeError) -> Word32 -> R WarningModeError
    forall a. EmbPrj a => ([Word32] -> R a) -> Word32 -> R a
    vcase (([Word32] -> R WarningModeError) -> Word32 -> R WarningModeError)
    -> ([Word32] -> R WarningModeError) -> Word32 -> R WarningModeError
    forall a b. (a -> b) -> a -> b
    $ \case
        [Word32
    0, Word32
    a] -> (Text -> WarningModeError)
    -> Arrows
         (Constant Word32 (Domains (Text -> WarningModeError)))
         (R (CoDomain (Text -> WarningModeError)))
    forall t.
    (VALU t (IsBase t),
     StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
     All EmbPrj (Domains t)) =>
    t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
    valuN Text -> WarningModeError
    Unknown Word32
    a
        [Word32
    1, Word32
    a] -> (Text -> WarningModeError)
    -> Arrows
         (Constant Word32 (Domains (Text -> WarningModeError)))
         (R (CoDomain (Text -> WarningModeError)))
    forall t.
    (VALU t (IsBase t),
     StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
     All EmbPrj (Domains t)) =>
    t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
    valuN Text -> WarningModeError
    NoNoError Word32
    a
        [Word32]
    _ -> R WarningModeError
    forall a. R a
    malformed

    instance EmbPrj ParseWarning where
      icod_ :: ParseWarning -> S Word32
    icod_ = \case
        OverlappingTokensWarning Range
    a -> Word32
    -> (Range -> ParseWarning)
    -> Arrows (Domains (Range -> ParseWarning)) (S Word32)
    forall t.
    (ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
     All EmbPrj (Domains t)) =>
    Word32 -> t -> Arrows (Domains t) (S Word32)
    icodeN Word32
    0 Range -> ParseWarning
    OverlappingTokensWarning Range
    a
        UnsupportedAttribute Range
    a Maybe String
    b   -> Word32
    -> (Range -> Maybe String -> ParseWarning)
    -> Arrows
         (Domains (Range -> Maybe String -> ParseWarning)) (S Word32)
    forall t.
    (ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
     All EmbPrj (Domains t)) =>
    Word32 -> t -> Arrows (Domains t) (S Word32)
    icodeN Word32
    1 Range -> Maybe String -> ParseWarning
    UnsupportedAttribute Range
    a Maybe String
    b
        MultipleAttributes Range
    a Maybe String
    b     -> Word32
    -> (Range -> Maybe String -> ParseWarning)
    -> Arrows
         (Domains (Range -> Maybe String -> ParseWarning)) (S Word32)
    forall t.
    (ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
     All EmbPrj (Domains t)) =>
    Word32 -> t -> Arrows (Domains t) (S Word32)
    icodeN Word32
    2 Range -> Maybe String -> ParseWarning
    MultipleAttributes Range
    a Maybe String
    b
        UnknownAttribute Range
    a String
    b       -> Word32
    -> (Range -> String -> ParseWarning)
    -> Arrows (Domains (Range -> String -> ParseWarning)) (S Word32)
    forall t.
    (ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
     All EmbPrj (Domains t)) =>
    Word32 -> t -> Arrows (Domains t) (S Word32)
    icodeN Word32
    3 Range -> String -> ParseWarning
    UnknownAttribute Range
    a String
    b
        UnknownPolarity Range
    a String
    b        -> Word32
    -> (Range -> String -> ParseWarning)
    -> Arrows (Domains (Range -> String -> ParseWarning)) (S Word32)
    forall t.
    (ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
     All EmbPrj (Domains t)) =>
    Word32 -> t -> Arrows (Domains t) (S Word32)
    icodeN Word32
    4 Range -> String -> ParseWarning
    UnknownPolarity Range
    a String
    b
        MisplacedAttributes Range
    a String
    b    -> Word32
    -> (Range -> String -> ParseWarning)
    -> Arrows (Domains (Range -> String -> ParseWarning)) (S Word32)
    forall t.
    (ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
     All EmbPrj (Domains t)) =>
    Word32 -> t -> Arrows (Domains t) (S Word32)
    icodeN Word32
    5 Range -> String -> ParseWarning
    MisplacedAttributes Range
    a String
    b

      value :: Word32 -> R ParseWarning
    value = ([Word32] -> R ParseWarning) -> Word32 -> R ParseWarning
    forall a. EmbPrj a => ([Word32] -> R a) -> Word32 -> R a
    vcase (([Word32] -> R ParseWarning) -> Word32 -> R ParseWarning)
    -> ([Word32] -> R ParseWarning) -> Word32 -> R ParseWarning
    forall a b. (a -> b) -> a -> b
    $ \case
        [Word32
    0, Word32
    a]    -> (Range -> ParseWarning)
    -> Arrows
         (Constant Word32 (Domains (Range -> ParseWarning)))
         (R (CoDomain (Range -> ParseWarning)))
    forall t.
    (VALU t (IsBase t),
     StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
     All EmbPrj (Domains t)) =>
    t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
    valuN Range -> ParseWarning
    OverlappingTokensWarning Word32
    a
        [Word32
    1, Word32
    a, Word32
    b] -> (Range -> Maybe String -> ParseWarning)
    -> Arrows
         (Constant Word32 (Domains (Range -> Maybe String -> ParseWarning)))
         (R (CoDomain (Range -> Maybe String -> ParseWarning)))
    forall t.
    (VALU t (IsBase t),
     StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
     All EmbPrj (Domains t)) =>
    t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
    valuN Range -> Maybe String -> ParseWarning
    UnsupportedAttribute Word32
    a Word32
    b
        [Word32
    2, Word32
    a, Word32
    b] -> (Range -> Maybe String -> ParseWarning)
    -> Arrows
         (Constant Word32 (Domains (Range -> Maybe String -> ParseWarning)))
         (R (CoDomain (Range -> Maybe String -> ParseWarning)))
    forall t.
    (VALU t (IsBase t),
     StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
     All EmbPrj (Domains t)) =>
    t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
    valuN Range -> Maybe String -> ParseWarning
    MultipleAttributes Word32
    a Word32
    b
        [Word32
    3, Word32
    a, Word32
    b] -> (Range -> String -> ParseWarning)
    -> Arrows
         (Constant Word32 (Domains (Range -> String -> ParseWarning)))
         (R (CoDomain (Range -> String -> ParseWarning)))
    forall t.
    (VALU t (IsBase t),
     StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
     All EmbPrj (Domains t)) =>
    t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
    valuN Range -> String -> ParseWarning
    UnknownAttribute Word32
    a Word32
    b
        [Word32
    4, Word32
    a, Word32
    b] -> (Range -> String -> ParseWarning)
    -> Arrows
         (Constant Word32 (Domains (Range -> String -> ParseWarning)))
         (R (CoDomain (Range -> String -> ParseWarning)))
    forall t.
    (VALU t (IsBase t),
     StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
     All EmbPrj (Domains t)) =>
    t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
    valuN Range -> String -> ParseWarning
    UnknownPolarity Word32
    a Word32
    b
        [Word32
    5, Word32
    a, Word32
    b] -> (Range -> String -> ParseWarning)
    -> Arrows
         (Constant Word32 (Domains (Range -> String -> ParseWarning)))
         (R (CoDomain (Range -> String -> ParseWarning)))
    forall t.
    (VALU t (IsBase t),
     StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
     All EmbPrj (Domains t)) =>
    t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
    valuN Range -> String -> ParseWarning
    MisplacedAttributes Word32
    a Word32
    b
        [Word32]
    _ -> R ParseWarning
    forall a. R a
    malformed

    instance EmbPrj RecordFieldWarning where
      icod_ :: RecordFieldWarning -> S Word32
    icod_ = \case
        W.DuplicateFields List1 (Name, Range)
    a   -> Word32
    -> (List1 (Name, Range) -> RecordFieldWarning)
    -> Arrows
         (Domains (List1 (Name, Range) -> RecordFieldWarning)) (S Word32)
    forall t.
    (ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
     All EmbPrj (Domains t)) =>
    Word32 -> t -> Arrows (Domains t) (S Word32)
    icodeN Word32
    0 List1 (Name, Range) -> RecordFieldWarning
    W.DuplicateFields List1 (Name, Range)
    a
        W.TooManyFields QName
    a [Name]
    b List1 (Name, Range)
    c -> Word32
    -> (QName -> [Name] -> List1 (Name, Range) -> RecordFieldWarning)
    -> Arrows
         (Domains
            (QName -> [Name] -> List1 (Name, Range) -> RecordFieldWarning))
         (S Word32)
    forall t.
    (ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
     All EmbPrj (Domains t)) =>
    Word32 -> t -> Arrows (Domains t) (S Word32)
    icodeN Word32
    1 QName -> [Name] -> List1 (Name, Range) -> RecordFieldWarning
    W.TooManyFields QName
    a [Name]
    b List1 (Name, Range)
    c

      value :: Word32 -> R RecordFieldWarning
    value = ([Word32] -> R RecordFieldWarning)
    -> Word32 -> R RecordFieldWarning
    forall a. EmbPrj a => ([Word32] -> R a) -> Word32 -> R a
    vcase (([Word32] -> R RecordFieldWarning)
     -> Word32 -> R RecordFieldWarning)
    -> ([Word32] -> R RecordFieldWarning)
    -> Word32
    -> R RecordFieldWarning
    forall a b. (a -> b) -> a -> b
    $ \case
        [Word32
    0, Word32
    a]       -> (List1 (Name, Range) -> RecordFieldWarning)
    -> Arrows
         (Constant
            Word32 (Domains (List1 (Name, Range) -> RecordFieldWarning)))
         (R (CoDomain (List1 (Name, Range) -> RecordFieldWarning)))
    forall t.
    (VALU t (IsBase t),
     StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
     All EmbPrj (Domains t)) =>
    t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
    valuN List1 (Name, Range) -> RecordFieldWarning
    W.DuplicateFields Word32
    a
        [Word32
    1, Word32
    a, Word32
    b, Word32
    c] -> (QName -> [Name] -> List1 (Name, Range) -> RecordFieldWarning)
    -> Arrows
         (Constant
            Word32
            (Domains
               (QName -> [Name] -> List1 (Name, Range) -> RecordFieldWarning)))
         (R (CoDomain
               (QName -> [Name] -> List1 (Name, Range) -> RecordFieldWarning)))
    forall t.
    (VALU t (IsBase t),
     StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
     All EmbPrj (Domains t)) =>
    t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
    valuN QName -> [Name] -> List1 (Name, Range) -> RecordFieldWarning
    W.TooManyFields Word32
    a Word32
    b Word32
    c
        [Word32]
    _ -> R RecordFieldWarning
    forall a. R a
    malformed

    instance EmbPrj DeclarationWarning where
      icod_ :: DeclarationWarning -> S Word32
    icod_ (DeclarationWarning CallStack
    a DeclarationWarning'
    b) = (CallStack -> DeclarationWarning' -> DeclarationWarning)
    -> Arrows
         (Domains (CallStack -> DeclarationWarning' -> DeclarationWarning))
         (S Word32)
    forall t.
    (ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
     All EmbPrj (Domains t)) =>
    t -> Arrows (Domains t) (S Word32)
    icodeN' CallStack -> DeclarationWarning' -> DeclarationWarning
    DeclarationWarning CallStack
    a DeclarationWarning'
    b
      value :: Word32 -> R DeclarationWarning
    value = ([Word32] -> R DeclarationWarning)
    -> Word32 -> R DeclarationWarning
    forall a. EmbPrj a => ([Word32] -> R a) -> Word32 -> R a
    vcase (([Word32] -> R DeclarationWarning)
     -> Word32 -> R DeclarationWarning)
    -> ([Word32] -> R DeclarationWarning)
    -> Word32
    -> R DeclarationWarning
    forall a b. (a -> b) -> a -> b
    $ \case
        [Word32
    a, Word32
    b] -> (CallStack -> DeclarationWarning' -> DeclarationWarning)
    -> Arrows
         (Constant
            Word32
            (Domains (CallStack -> DeclarationWarning' -> DeclarationWarning)))
         (R (CoDomain
               (CallStack -> DeclarationWarning' -> DeclarationWarning)))
    forall t.
    (VALU t (IsBase t),
     StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
     All EmbPrj (Domains t)) =>
    t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
    valuN CallStack -> DeclarationWarning' -> DeclarationWarning
    DeclarationWarning Word32
    a Word32
    b
        [Word32]
    _ -> R DeclarationWarning
    forall a. R a
    malformed

    instance EmbPrj DeclarationWarning' where
      icod_ :: DeclarationWarning' -> S Word32
    icod_ = \case
        UnknownNamesInFixityDecl Set1 Name
    a        -> Word32
    -> (Set1 Name -> DeclarationWarning')
    -> Arrows (Domains (Set1 Name -> DeclarationWarning')) (S Word32)
    forall t.
    (ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
     All EmbPrj (Domains t)) =>
    Word32 -> t -> Arrows (Domains t) (S Word32)
    icodeN Word32
    0 Set1 Name -> DeclarationWarning'
    UnknownNamesInFixityDecl Set1 Name
    a
        UnknownNamesInPolarityPragmas Set1 Name
    a   -> Word32
    -> (Set1 Name -> DeclarationWarning')
    -> Arrows (Domains (Set1 Name -> DeclarationWarning')) (S Word32)
    forall t.
    (ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
     All EmbPrj (Domains t)) =>
    Word32 -> t -> Arrows (Domains t) (S Word32)
    icodeN Word32
    1 Set1 Name -> DeclarationWarning'
    UnknownNamesInPolarityPragmas Set1 Name
    a
        PolarityPragmasButNotPostulates Set1 Name
    a -> Word32
    -> (Set1 Name -> DeclarationWarning')
    -> Arrows (Domains (Set1 Name -> DeclarationWarning')) (S Word32)
    forall t.
    (ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
     All EmbPrj (Domains t)) =>
    Word32 -> t -> Arrows (Domains t) (S Word32)
    icodeN Word32
    2 Set1 Name -> DeclarationWarning'
    PolarityPragmasButNotPostulates Set1 Name
    a
        UselessPrivate KwRange
    a                  -> Word32
    -> (KwRange -> DeclarationWarning')
    -> Arrows (Domains (KwRange -> DeclarationWarning')) (S Word32)
    forall t.
    (ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
     All EmbPrj (Domains t)) =>
    Word32 -> t -> Arrows (Domains t) (S Word32)
    icodeN Word32
    3 KwRange -> DeclarationWarning'
    UselessPrivate KwRange
    a
        UselessAbstract KwRange
    a                 -> Word32
    -> (KwRange -> DeclarationWarning')
    -> Arrows (Domains (KwRange -> DeclarationWarning')) (S Word32)
    forall t.
    (ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
     All EmbPrj (Domains t)) =>
    Word32 -> t -> Arrows (Domains t) (S Word32)
    icodeN Word32
    4 KwRange -> DeclarationWarning'
    UselessAbstract KwRange
    a
        UselessInstance KwRange
    a                 -> Word32
    -> (KwRange -> DeclarationWarning')
    -> Arrows (Domains (KwRange -> DeclarationWarning')) (S Word32)
    forall t.
    (ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
     All EmbPrj (Domains t)) =>
    Word32 -> t -> Arrows (Domains t) (S Word32)
    icodeN Word32
    5 KwRange -> DeclarationWarning'
    UselessInstance KwRange
    a
        EmptyMutual KwRange
    a                     -> Word32
    -> (KwRange -> DeclarationWarning')
    -> Arrows (Domains (KwRange -> DeclarationWarning')) (S Word32)
    forall t.
    (ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
     All EmbPrj (Domains t)) =>
    Word32 -> t -> Arrows (Domains t) (S Word32)
    icodeN Word32
    6 KwRange -> DeclarationWarning'
    EmptyMutual KwRange
    a
        EmptyAbstract KwRange
    a                   -> Word32
    -> (KwRange -> DeclarationWarning')
    -> Arrows (Domains (KwRange -> DeclarationWarning')) (S Word32)
    forall t.
    (ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
     All EmbPrj (Domains t)) =>
    Word32 -> t -> Arrows (Domains t) (S Word32)
    icodeN Word32
    7 KwRange -> DeclarationWarning'
    EmptyAbstract KwRange
    a
        EmptyPrivate KwRange
    a                    -> Word32
    -> (KwRange -> DeclarationWarning')
    -> Arrows (Domains (KwRange -> DeclarationWarning')) (S Word32)
    forall t.
    (ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
     All EmbPrj (Domains t)) =>
    Word32 -> t -> Arrows (Domains t) (S Word32)
    icodeN Word32
    8 KwRange -> DeclarationWarning'
    EmptyPrivate KwRange
    a
        EmptyInstance KwRange
    a                   -> Word32
    -> (KwRange -> DeclarationWarning')
    -> Arrows (Domains (KwRange -> DeclarationWarning')) (S Word32)
    forall t.
    (ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
     All EmbPrj (Domains t)) =>
    Word32 -> t -> Arrows (Domains t) (S Word32)
    icodeN Word32
    9 KwRange -> DeclarationWarning'
    EmptyInstance KwRange
    a
        EmptyMacro KwRange
    a                      -> Word32
    -> (KwRange -> DeclarationWarning')
    -> Arrows (Domains (KwRange -> DeclarationWarning')) (S Word32)
    forall t.
    (ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
     All EmbPrj (Domains t)) =>
    Word32 -> t -> Arrows (Domains t) (S Word32)
    icodeN Word32
    10 KwRange -> DeclarationWarning'
    EmptyMacro KwRange
    a
        EmptyPostulate KwRange
    a                  -> Word32
    -> (KwRange -> DeclarationWarning')
    -> Arrows (Domains (KwRange -> DeclarationWarning')) (S Word32)
    forall t.
    (ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
     All EmbPrj (Domains t)) =>
    Word32 -> t -> Arrows (Domains t) (S Word32)
    icodeN Word32
    11 KwRange -> DeclarationWarning'
    EmptyPostulate KwRange
    a
        InvalidTerminationCheckPragma Range
    a   -> Word32
    -> (Range -> DeclarationWarning')
    -> Arrows (Domains (Range -> DeclarationWarning')) (S Word32)
    forall t.
    (ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
     All EmbPrj (Domains t)) =>
    Word32 -> t -> Arrows (Domains t) (S Word32)
    icodeN Word32
    12 Range -> DeclarationWarning'
    InvalidTerminationCheckPragma Range
    a
        InvalidNoPositivityCheckPragma Range
    a  -> Word32
    -> (Range -> DeclarationWarning')
    -> Arrows (Domains (Range -> DeclarationWarning')) (S Word32)
    forall t.
    (ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
     All EmbPrj (Domains t)) =>
    Word32 -> t -> Arrows (Domains t) (S Word32)
    icodeN Word32
    13 Range -> DeclarationWarning'
    InvalidNoPositivityCheckPragma Range
    a
        InvalidCatchallPragma Range
    a           -> Word32
    -> (Range -> DeclarationWarning')
    -> Arrows (Domains (Range -> DeclarationWarning')) (S Word32)
    forall t.
    (ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
     All EmbPrj (Domains t)) =>
    Word32 -> t -> Arrows (Domains t) (S Word32)
    icodeN Word32
    14 Range -> DeclarationWarning'
    InvalidCatchallPragma Range
    a
        InvalidNoUniverseCheckPragma Range
    a    -> Word32
    -> (Range -> DeclarationWarning')
    -> Arrows (Domains (Range -> DeclarationWarning')) (S Word32)
    forall t.
    (ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
     All EmbPrj (Domains t)) =>
    Word32 -> t -> Arrows (Domains t) (S Word32)
    icodeN Word32
    15 Range -> DeclarationWarning'
    InvalidNoUniverseCheckPragma Range
    a
        UnknownFixityInMixfixDecl Set1 Name
    a       -> Word32
    -> (Set1 Name -> DeclarationWarning')
    -> Arrows (Domains (Set1 Name -> DeclarationWarning')) (S Word32)
    forall t.
    (ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
     All EmbPrj (Domains t)) =>
    Word32 -> t -> Arrows (Domains t) (S Word32)
    icodeN Word32
    16 Set1 Name -> DeclarationWarning'
    UnknownFixityInMixfixDecl Set1 Name
    a
        MissingDefinitions List1 (Name, Range)
    a              -> Word32
    -> (List1 (Name, Range) -> DeclarationWarning')
    -> Arrows
         (Domains (List1 (Name, Range) -> DeclarationWarning')) (S Word32)
    forall t.
    (ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
     All EmbPrj (Domains t)) =>
    Word32 -> t -> Arrows (Domains t) (S Word32)
    icodeN Word32
    17 List1 (Name, Range) -> DeclarationWarning'
    MissingDefinitions List1 (Name, Range)
    a
        NotAllowedInMutual Range
    r String
    a            -> Word32
    -> (Range -> String -> DeclarationWarning')
    -> Arrows
         (Domains (Range -> String -> DeclarationWarning')) (S Word32)
    forall t.
    (ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
     All EmbPrj (Domains t)) =>
    Word32 -> t -> Arrows (Domains t) (S Word32)
    icodeN Word32
    18 Range -> String -> DeclarationWarning'
    NotAllowedInMutual Range
    r String
    a
        PragmaNoTerminationCheck Range
    r        -> Word32
    -> (Range -> DeclarationWarning')
    -> Arrows (Domains (Range -> DeclarationWarning')) (S Word32)
    forall t.
    (ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
     All EmbPrj (Domains t)) =>
    Word32 -> t -> Arrows (Domains t) (S Word32)
    icodeN Word32
    19 Range -> DeclarationWarning'
    PragmaNoTerminationCheck Range
    r
        EmptyGeneralize KwRange
    a                 -> Word32
    -> (KwRange -> DeclarationWarning')
    -> Arrows (Domains (KwRange -> DeclarationWarning')) (S Word32)
    forall t.
    (ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
     All EmbPrj (Domains t)) =>
    Word32 -> t -> Arrows (Domains t) (S Word32)
    icodeN Word32
    20 KwRange -> DeclarationWarning'
    EmptyGeneralize KwRange
    a
        PragmaCompiled Range
    r                  -> Word32
    -> (Range -> DeclarationWarning')
    -> Arrows (Domains (Range -> DeclarationWarning')) (S Word32)
    forall t.
    (ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
     All EmbPrj (Domains t)) =>
    Word32 -> t -> Arrows (Domains t) (S Word32)
    icodeN Word32
    21 Range -> DeclarationWarning'
    PragmaCompiled Range
    r
        EmptyPrimitive KwRange
    a                  -> Word32
    -> (KwRange -> DeclarationWarning')
    -> Arrows (Domains (KwRange -> DeclarationWarning')) (S Word32)
    forall t.
    (ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
     All EmbPrj (Domains t)) =>
    Word32 -> t -> Arrows (Domains t) (S Word32)
    icodeN Word32
    22 KwRange -> DeclarationWarning'
    EmptyPrimitive KwRange
    a
        EmptyField KwRange
    r                      -> Word32
    -> (KwRange -> DeclarationWarning')
    -> Arrows (Domains (KwRange -> DeclarationWarning')) (S Word32)
    forall t.
    (ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
     All EmbPrj (Domains t)) =>
    Word32 -> t -> Arrows (Domains t) (S Word32)
    icodeN Word32
    23 KwRange -> DeclarationWarning'
    EmptyField KwRange
    r
        ShadowingInTelescope List1 (Name, List2 Range)
    nrs          -> Word32
    -> (List1 (Name, List2 Range) -> DeclarationWarning')
    -> Arrows
         (Domains (List1 (Name, List2 Range) -> DeclarationWarning'))
         (S Word32)
    forall t.
    (ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
     All EmbPrj (Domains t)) =>
    Word32 -> t -> Arrows (Domains t) (S Word32)
    icodeN Word32
    24 List1 (Name, List2 Range) -> DeclarationWarning'
    ShadowingInTelescope List1 (Name, List2 Range)
    nrs
        InvalidCoverageCheckPragma Range
    r      -> Word32
    -> (Range -> DeclarationWarning')
    -> Arrows (Domains (Range -> DeclarationWarning')) (S Word32)
    forall t.
    (ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
     All EmbPrj (Domains t)) =>
    Word32 -> t -> Arrows (Domains t) (S Word32)
    icodeN Word32
    25 Range -> DeclarationWarning'
    InvalidCoverageCheckPragma Range
    r
        OpenImportAbstract Range
    r KwRange
    kwr OpenOrImport
    a        -> Word32
    -> (Range -> KwRange -> OpenOrImport -> DeclarationWarning')
    -> Arrows
         (Domains (Range -> KwRange -> OpenOrImport -> DeclarationWarning'))
         (S Word32)
    forall t.
    (ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
     All EmbPrj (Domains t)) =>
    Word32 -> t -> Arrows (Domains t) (S Word32)
    icodeN Word32
    26 Range -> KwRange -> OpenOrImport -> DeclarationWarning'
    OpenImportAbstract Range
    r KwRange
    kwr OpenOrImport
    a
        OpenImportPrivate Range
    r KwRange
    kwr KwRange
    kwr' OpenOrImport
    a    -> Word32
    -> (Range
        -> KwRange -> KwRange -> OpenOrImport -> DeclarationWarning')
    -> Arrows
         (Domains
            (Range
             -> KwRange -> KwRange -> OpenOrImport -> DeclarationWarning'))
         (S Word32)
    forall t.
    (ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
     All EmbPrj (Domains t)) =>
    Word32 -> t -> Arrows (Domains t) (S Word32)
    icodeN Word32
    27 Range -> KwRange -> KwRange -> OpenOrImport -> DeclarationWarning'
    OpenImportPrivate Range
    r KwRange
    kwr KwRange
    kwr' OpenOrImport
    a
        EmptyConstructor KwRange
    a                -> Word32
    -> (KwRange -> DeclarationWarning')
    -> Arrows (Domains (KwRange -> DeclarationWarning')) (S Word32)
    forall t.
    (ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
     All EmbPrj (Domains t)) =>
    Word32 -> t -> Arrows (Domains t) (S Word32)
    icodeN Word32
    28 KwRange -> DeclarationWarning'
    EmptyConstructor KwRange
    a
        -- 29 removed
        -- 30 removed
        InvalidConstructorBlock Range
    a         -> Word32
    -> (Range -> DeclarationWarning')
    -> Arrows (Domains (Range -> DeclarationWarning')) (S Word32)
    forall t.
    (ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
     All EmbPrj (Domains t)) =>
    Word32 -> t -> Arrows (Domains t) (S Word32)
    icodeN Word32
    31 Range -> DeclarationWarning'
    InvalidConstructorBlock Range
    a
        MissingDataDeclaration Name
    a          -> Word32
    -> (Name -> DeclarationWarning')
    -> Arrows (Domains (Name -> DeclarationWarning')) (S Word32)
    forall t.
    (ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
     All EmbPrj (Domains t)) =>
    Word32 -> t -> Arrows (Domains t) (S Word32)
    icodeN Word32
    32 Name -> DeclarationWarning'
    MissingDataDeclaration Name
    a
        HiddenGeneralize Range
    r                -> Word32
    -> (Range -> DeclarationWarning')
    -> Arrows (Domains (Range -> DeclarationWarning')) (S Word32)
    forall t.
    (ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
     All EmbPrj (Domains t)) =>
    Word32 -> t -> Arrows (Domains t) (S Word32)
    icodeN Word32
    33 Range -> DeclarationWarning'
    HiddenGeneralize Range
    r
        UselessMacro KwRange
    r                    -> Word32
    -> (KwRange -> DeclarationWarning')
    -> Arrows (Domains (KwRange -> DeclarationWarning')) (S Word32)
    forall t.
    (ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
     All EmbPrj (Domains t)) =>
    Word32 -> t -> Arrows (Domains t) (S Word32)
    icodeN Word32
    34 KwRange -> DeclarationWarning'
    UselessMacro KwRange
    r
        SafeFlagEta                    {} -> S Word32
    forall a. HasCallStack => a
    __IMPOSSIBLE__
        SafeFlagInjective              {} -> S Word32
    forall a. HasCallStack => a
    __IMPOSSIBLE__
        SafeFlagNoCoverageCheck        {} -> S Word32
    forall a. HasCallStack => a
    __IMPOSSIBLE__
        SafeFlagNoPositivityCheck      {} -> S Word32
    forall a. HasCallStack => a
    __IMPOSSIBLE__
        SafeFlagNoUniverseCheck        {} -> S Word32
    forall a. HasCallStack => a
    __IMPOSSIBLE__
        SafeFlagNonTerminating         {} -> S Word32
    forall a. HasCallStack => a
    __IMPOSSIBLE__
        SafeFlagPolarity               {} -> S Word32
    forall a. HasCallStack => a
    __IMPOSSIBLE__
        SafeFlagTerminating            {} -> S Word32
    forall a. HasCallStack => a
    __IMPOSSIBLE__
        EmptyPolarityPragma Range
    r             -> Word32
    -> (Range -> DeclarationWarning')
    -> Arrows (Domains (Range -> DeclarationWarning')) (S Word32)
    forall t.
    (ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
     All EmbPrj (Domains t)) =>
    Word32 -> t -> Arrows (Domains t) (S Word32)
    icodeN Word32
    35 Range -> DeclarationWarning'
    EmptyPolarityPragma Range
    r

      value :: Word32 -> R DeclarationWarning'
    value = ([Word32] -> R DeclarationWarning')
    -> Word32 -> R DeclarationWarning'
    forall a. EmbPrj a => ([Word32] -> R a) -> Word32 -> R a
    vcase (([Word32] -> R DeclarationWarning')
     -> Word32 -> R DeclarationWarning')
    -> ([Word32] -> R DeclarationWarning')
    -> Word32
    -> R DeclarationWarning'
    forall a b. (a -> b) -> a -> b
    $ \case
        [Word32
    0, Word32
    a]   -> (Set1 Name -> DeclarationWarning')
    -> Arrows
         (Constant Word32 (Domains (Set1 Name -> DeclarationWarning')))
         (R (CoDomain (Set1 Name -> DeclarationWarning')))
    forall t.
    (VALU t (IsBase t),
     StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
     All EmbPrj (Domains t)) =>
    t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
    valuN Set1 Name -> DeclarationWarning'
    UnknownNamesInFixityDecl Word32
    a
        [Word32
    1, Word32
    a]   -> (Set1 Name -> DeclarationWarning')
    -> Arrows
         (Constant Word32 (Domains (Set1 Name -> DeclarationWarning')))
         (R (CoDomain (Set1 Name -> DeclarationWarning')))
    forall t.
    (VALU t (IsBase t),
     StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
     All EmbPrj (Domains t)) =>
    t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
    valuN Set1 Name -> DeclarationWarning'
    UnknownNamesInPolarityPragmas Word32
    a
        [Word32
    2, Word32
    a]   -> (Set1 Name -> DeclarationWarning')
    -> Arrows
         (Constant Word32 (Domains (Set1 Name -> DeclarationWarning')))
         (R (CoDomain (Set1 Name -> DeclarationWarning')))
    forall t.
    (VALU t (IsBase t),
     StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
     All EmbPrj (Domains t)) =>
    t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
    valuN Set1 Name -> DeclarationWarning'
    PolarityPragmasButNotPostulates Word32
    a
        [Word32
    3, Word32
    a]   -> (KwRange -> DeclarationWarning')
    -> Arrows
         (Constant Word32 (Domains (KwRange -> DeclarationWarning')))
         (R (CoDomain (KwRange -> DeclarationWarning')))
    forall t.
    (VALU t (IsBase t),
     StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
     All EmbPrj (Domains t)) =>
    t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
    valuN KwRange -> DeclarationWarning'
    UselessPrivate Word32
    a
        [Word32
    4, Word32
    a]   -> (KwRange -> DeclarationWarning')
    -> Arrows
         (Constant Word32 (Domains (KwRange -> DeclarationWarning')))
         (R (CoDomain (KwRange -> DeclarationWarning')))
    forall t.
    (VALU t (IsBase t),
     StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
     All EmbPrj (Domains t)) =>
    t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
    valuN KwRange -> DeclarationWarning'
    UselessAbstract Word32
    a
        [Word32
    5, Word32
    a]   -> (KwRange -> DeclarationWarning')
    -> Arrows
         (Constant Word32 (Domains (KwRange -> DeclarationWarning')))
         (R (CoDomain (KwRange -> DeclarationWarning')))
    forall t.
    (VALU t (IsBase t),
     StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
     All EmbPrj (Domains t)) =>
    t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
    valuN KwRange -> DeclarationWarning'
    UselessInstance Word32
    a
        [Word32
    6, Word32
    a]   -> (KwRange -> DeclarationWarning')
    -> Arrows
         (Constant Word32 (Domains (KwRange -> DeclarationWarning')))
         (R (CoDomain (KwRange -> DeclarationWarning')))
    forall t.
    (VALU t (IsBase t),
     StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
     All EmbPrj (Domains t)) =>
    t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
    valuN KwRange -> DeclarationWarning'
    EmptyMutual Word32
    a
        [Word32
    7, Word32
    a]   -> (KwRange -> DeclarationWarning')
    -> Arrows
         (Constant Word32 (Domains (KwRange -> DeclarationWarning')))
         (R (CoDomain (KwRange -> DeclarationWarning')))
    forall t.
    (VALU t (IsBase t),
     StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
     All EmbPrj (Domains t)) =>
    t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
    valuN KwRange -> DeclarationWarning'
    EmptyAbstract Word32
    a
        [Word32
    8, Word32
    a]   -> (KwRange -> DeclarationWarning')
    -> Arrows
         (Constant Word32 (Domains (KwRange -> DeclarationWarning')))
         (R (CoDomain (KwRange -> DeclarationWarning')))
    forall t.
    (VALU t (IsBase t),
     StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
     All EmbPrj (Domains t)) =>
    t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
    valuN KwRange -> DeclarationWarning'
    EmptyPrivate Word32
    a
        [Word32
    9, Word32
    a]   -> (KwRange -> DeclarationWarning')
    -> Arrows
         (Constant Word32 (Domains (KwRange -> DeclarationWarning')))
         (R (CoDomain (KwRange -> DeclarationWarning')))
    forall t.
    (VALU t (IsBase t),
     StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
     All EmbPrj (Domains t)) =>
    t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
    valuN KwRange -> DeclarationWarning'
    EmptyInstance Word32
    a
        [Word32
    10,Word32
    a]   -> (KwRange -> DeclarationWarning')
    -> Arrows
         (Constant Word32 (Domains (KwRange -> DeclarationWarning')))
         (R (CoDomain (KwRange -> DeclarationWarning')))
    forall t.
    (VALU t (IsBase t),
     StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
     All EmbPrj (Domains t)) =>
    t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
    valuN KwRange -> DeclarationWarning'
    EmptyMacro Word32
    a
        [Word32
    11,Word32
    a]   -> (KwRange -> DeclarationWarning')
    -> Arrows
         (Constant Word32 (Domains (KwRange -> DeclarationWarning')))
         (R (CoDomain (KwRange -> DeclarationWarning')))
    forall t.
    (VALU t (IsBase t),
     StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
     All EmbPrj (Domains t)) =>
    t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
    valuN KwRange -> DeclarationWarning'
    EmptyPostulate Word32
    a
        [Word32
    12,Word32
    a]   -> (Range -> DeclarationWarning')
    -> Arrows
         (Constant Word32 (Domains (Range -> DeclarationWarning')))
         (R (CoDomain (Range -> DeclarationWarning')))
    forall t.
    (VALU t (IsBase t),
     StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
     All EmbPrj (Domains t)) =>
    t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
    valuN Range -> DeclarationWarning'
    InvalidTerminationCheckPragma Word32
    a
        [Word32
    13,Word32
    a]   -> (Range -> DeclarationWarning')
    -> Arrows
         (Constant Word32 (Domains (Range -> DeclarationWarning')))
         (R (CoDomain (Range -> DeclarationWarning')))
    forall t.
    (VALU t (IsBase t),
     StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
     All EmbPrj (Domains t)) =>
    t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
    valuN Range -> DeclarationWarning'
    InvalidNoPositivityCheckPragma Word32
    a
        [Word32
    14,Word32
    a]   -> (Range -> DeclarationWarning')
    -> Arrows
         (Constant Word32 (Domains (Range -> DeclarationWarning')))
         (R (CoDomain (Range -> DeclarationWarning')))
    forall t.
    (VALU t (IsBase t),
     StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
     All EmbPrj (Domains t)) =>
    t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
    valuN Range -> DeclarationWarning'
    InvalidCatchallPragma Word32
    a
        [Word32
    15,Word32
    a]   -> (Range -> DeclarationWarning')
    -> Arrows
         (Constant Word32 (Domains (Range -> DeclarationWarning')))
         (R (CoDomain (Range -> DeclarationWarning')))
    forall t.
    (VALU t (IsBase t),
     StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
     All EmbPrj (Domains t)) =>
    t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
    valuN Range -> DeclarationWarning'
    InvalidNoUniverseCheckPragma Word32
    a
        [Word32
    16,Word32
    a]   -> (Set1 Name -> DeclarationWarning')
    -> Arrows
         (Constant Word32 (Domains (Set1 Name -> DeclarationWarning')))
         (R (CoDomain (Set1 Name -> DeclarationWarning')))
    forall t.
    (VALU t (IsBase t),
     StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
     All EmbPrj (Domains t)) =>
    t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
    valuN Set1 Name -> DeclarationWarning'
    UnknownFixityInMixfixDecl Word32
    a
        [Word32
    17,Word32
    a]   -> (List1 (Name, Range) -> DeclarationWarning')
    -> Arrows
         (Constant
            Word32 (Domains (List1 (Name, Range) -> DeclarationWarning')))
         (R (CoDomain (List1 (Name, Range) -> DeclarationWarning')))
    forall t.
    (VALU t (IsBase t),
     StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
     All EmbPrj (Domains t)) =>
    t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
    valuN List1 (Name, Range) -> DeclarationWarning'
    MissingDefinitions Word32
    a
        [Word32
    18,Word32
    r,Word32
    a] -> (Range -> String -> DeclarationWarning')
    -> Arrows
         (Constant
            Word32 (Domains (Range -> String -> DeclarationWarning')))
         (R (CoDomain (Range -> String -> DeclarationWarning')))
    forall t.
    (VALU t (IsBase t),
     StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
     All EmbPrj (Domains t)) =>
    t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
    valuN Range -> String -> DeclarationWarning'
    NotAllowedInMutual Word32
    r Word32
    a
        [Word32
    19,Word32
    r]   -> (Range -> DeclarationWarning')
    -> Arrows
         (Constant Word32 (Domains (Range -> DeclarationWarning')))
         (R (CoDomain (Range -> DeclarationWarning')))
    forall t.
    (VALU t (IsBase t),
     StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
     All EmbPrj (Domains t)) =>
    t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
    valuN Range -> DeclarationWarning'
    PragmaNoTerminationCheck Word32
    r
        [Word32
    20,Word32
    a]   -> (KwRange -> DeclarationWarning')
    -> Arrows
         (Constant Word32 (Domains (KwRange -> DeclarationWarning')))
         (R (CoDomain (KwRange -> DeclarationWarning')))
    forall t.
    (VALU t (IsBase t),
     StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
     All EmbPrj (Domains t)) =>
    t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
    valuN KwRange -> DeclarationWarning'
    EmptyGeneralize Word32
    a
        [Word32
    21,Word32
    a]   -> (Range -> DeclarationWarning')
    -> Arrows
         (Constant Word32 (Domains (Range -> DeclarationWarning')))
         (R (CoDomain (Range -> DeclarationWarning')))
    forall t.
    (VALU t (IsBase t),
     StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
     All EmbPrj (Domains t)) =>
    t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
    valuN Range -> DeclarationWarning'
    PragmaCompiled Word32
    a
        [Word32
    22,Word32
    a]   -> (KwRange -> DeclarationWarning')
    -> Arrows
         (Constant Word32 (Domains (KwRange -> DeclarationWarning')))
         (R (CoDomain (KwRange -> DeclarationWarning')))
    forall t.
    (VALU t (IsBase t),
     StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
     All EmbPrj (Domains t)) =>
    t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
    valuN KwRange -> DeclarationWarning'
    EmptyPrimitive Word32
    a
        [Word32
    23,Word32
    r]   -> (KwRange -> DeclarationWarning')
    -> Arrows
         (Constant Word32 (Domains (KwRange -> DeclarationWarning')))
         (R (CoDomain (KwRange -> DeclarationWarning')))
    forall t.
    (VALU t (IsBase t),
     StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
     All EmbPrj (Domains t)) =>
    t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
    valuN KwRange -> DeclarationWarning'
    EmptyField Word32
    r
        [Word32
    24,Word32
    nrs] -> (List1 (Name, List2 Range) -> DeclarationWarning')
    -> Arrows
         (Constant
            Word32
            (Domains (List1 (Name, List2 Range) -> DeclarationWarning')))
         (R (CoDomain (List1 (Name, List2 Range) -> DeclarationWarning')))
    forall t.
    (VALU t (IsBase t),
     StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
     All EmbPrj (Domains t)) =>
    t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
    valuN List1 (Name, List2 Range) -> DeclarationWarning'
    ShadowingInTelescope Word32
    nrs
        [Word32
    25,Word32
    r]   -> (Range -> DeclarationWarning')
    -> Arrows
         (Constant Word32 (Domains (Range -> DeclarationWarning')))
         (R (CoDomain (Range -> DeclarationWarning')))
    forall t.
    (VALU t (IsBase t),
     StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
     All EmbPrj (Domains t)) =>
    t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
    valuN Range -> DeclarationWarning'
    InvalidCoverageCheckPragma Word32
    r
        [Word32
    26,Word32
    r,Word32
    kwr,Word32
    a] -> (Range -> KwRange -> OpenOrImport -> DeclarationWarning')
    -> Arrows
         (Constant
            Word32
            (Domains
               (Range -> KwRange -> OpenOrImport -> DeclarationWarning')))
         (R (CoDomain
               (Range -> KwRange -> OpenOrImport -> DeclarationWarning')))
    forall t.
    (VALU t (IsBase t),
     StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
     All EmbPrj (Domains t)) =>
    t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
    valuN Range -> KwRange -> OpenOrImport -> DeclarationWarning'
    OpenImportAbstract Word32
    r Word32
    kwr Word32
    a
        [Word32
    27,Word32
    r,Word32
    kwr,Word32
    kwr',Word32
    a] -> (Range
     -> KwRange -> KwRange -> OpenOrImport -> DeclarationWarning')
    -> Arrows
         (Constant
            Word32
            (Domains
               (Range
                -> KwRange -> KwRange -> OpenOrImport -> DeclarationWarning')))
         (R (CoDomain
               (Range
                -> KwRange -> KwRange -> OpenOrImport -> DeclarationWarning')))
    forall t.
    (VALU t (IsBase t),
     StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
     All EmbPrj (Domains t)) =>
    t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
    valuN Range -> KwRange -> KwRange -> OpenOrImport -> DeclarationWarning'
    OpenImportPrivate Word32
    r Word32
    kwr Word32
    kwr' Word32
    a
        [Word32
    28,Word32
    r]   -> (KwRange -> DeclarationWarning')
    -> Arrows
         (Constant Word32 (Domains (KwRange -> DeclarationWarning')))
         (R (CoDomain (KwRange -> DeclarationWarning')))
    forall t.
    (VALU t (IsBase t),
     StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
     All EmbPrj (Domains t)) =>
    t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
    valuN KwRange -> DeclarationWarning'
    EmptyConstructor Word32
    r
        -- 29 removed
        -- 30 removed
        [Word32
    31,Word32
    r]   -> (Range -> DeclarationWarning')
    -> Arrows
         (Constant Word32 (Domains (Range -> DeclarationWarning')))
         (R (CoDomain (Range -> DeclarationWarning')))
    forall t.
    (VALU t (IsBase t),
     StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
     All EmbPrj (Domains t)) =>
    t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
    valuN Range -> DeclarationWarning'
    InvalidConstructorBlock Word32
    r
        [Word32
    32,Word32
    r]   -> (Name -> DeclarationWarning')
    -> Arrows
         (Constant Word32 (Domains (Name -> DeclarationWarning')))
         (R (CoDomain (Name -> DeclarationWarning')))
    forall t.
    (VALU t (IsBase t),
     StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
     All EmbPrj (Domains t)) =>
    t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
    valuN Name -> DeclarationWarning'
    MissingDataDeclaration Word32
    r
        [Word32
    33,Word32
    r]   -> (Range -> DeclarationWarning')
    -> Arrows
         (Constant Word32 (Domains (Range -> DeclarationWarning')))
         (R (CoDomain (Range -> DeclarationWarning')))
    forall t.
    (VALU t (IsBase t),
     StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
     All EmbPrj (Domains t)) =>
    t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
    valuN Range -> DeclarationWarning'
    HiddenGeneralize Word32
    r
        [Word32
    34,Word32
    r]   -> (KwRange -> DeclarationWarning')
    -> Arrows
         (Constant Word32 (Domains (KwRange -> DeclarationWarning')))
         (R (CoDomain (KwRange -> DeclarationWarning')))
    forall t.
    (VALU t (IsBase t),
     StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
     All EmbPrj (Domains t)) =>
    t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
    valuN KwRange -> DeclarationWarning'
    UselessMacro Word32
    r
        [Word32
    35,Word32
    r]   -> (Range -> DeclarationWarning')
    -> Arrows
         (Constant Word32 (Domains (Range -> DeclarationWarning')))
         (R (CoDomain (Range -> DeclarationWarning')))
    forall t.
    (VALU t (IsBase t),
     StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
     All EmbPrj (Domains t)) =>
    t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
    valuN Range -> DeclarationWarning'
    EmptyPolarityPragma Word32
    r
        [Word32]
    _ -> R DeclarationWarning'
    forall a. R a
    malformed

    instance EmbPrj OpenOrImport

    instance EmbPrj LibWarning where
      icod_ :: LibWarning -> S Word32
    icod_ = \case
        LibWarning Maybe LibPositionInfo
    a LibWarning'
    b -> Word32
    -> (Maybe LibPositionInfo -> LibWarning' -> LibWarning)
    -> Arrows
         (Domains (Maybe LibPositionInfo -> LibWarning' -> LibWarning))
         (S Word32)
    forall t.
    (ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
     All EmbPrj (Domains t)) =>
    Word32 -> t -> Arrows (Domains t) (S Word32)
    icodeN Word32
    0 Maybe LibPositionInfo -> LibWarning' -> LibWarning
    LibWarning Maybe LibPositionInfo
    a LibWarning'
    b

      value :: Word32 -> R LibWarning
    value = ([Word32] -> R LibWarning) -> Word32 -> R LibWarning
    forall a. EmbPrj a => ([Word32] -> R a) -> Word32 -> R a
    vcase (([Word32] -> R LibWarning) -> Word32 -> R LibWarning)
    -> ([Word32] -> R LibWarning) -> Word32 -> R LibWarning
    forall a b. (a -> b) -> a -> b
    $ \case
        [Word32
    0, Word32
    a, Word32
    b]   -> (Maybe LibPositionInfo -> LibWarning' -> LibWarning)
    -> Arrows
         (Constant
            Word32
            (Domains (Maybe LibPositionInfo -> LibWarning' -> LibWarning)))
         (R (CoDomain (Maybe LibPositionInfo -> LibWarning' -> LibWarning)))
    forall t.
    (VALU t (IsBase t),
     StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
     All EmbPrj (Domains t)) =>
    t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
    valuN Maybe LibPositionInfo -> LibWarning' -> LibWarning
    LibWarning Word32
    a Word32
    b
        [Word32]
    _ -> R LibWarning
    forall a. R a
    malformed

    instance EmbPrj LibWarning' where
      icod_ :: LibWarning' -> S Word32
    icod_ = \case
        UnknownField     String
    a   -> Word32
    -> (String -> LibWarning')
    -> Arrows (Domains (String -> LibWarning')) (S Word32)
    forall t.
    (ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
     All EmbPrj (Domains t)) =>
    Word32 -> t -> Arrows (Domains t) (S Word32)
    icodeN Word32
    0 String -> LibWarning'
    UnknownField String
    a

      value :: Word32 -> R LibWarning'
    value = ([Word32] -> R LibWarning') -> Word32 -> R LibWarning'
    forall a. EmbPrj a => ([Word32] -> R a) -> Word32 -> R a
    vcase (([Word32] -> R LibWarning') -> Word32 -> R LibWarning')
    -> ([Word32] -> R LibWarning') -> Word32 -> R LibWarning'
    forall a b. (a -> b) -> a -> b
    $ \case
        [Word32
    0, Word32
    a]    -> (String -> LibWarning')
    -> Arrows
         (Constant Word32 (Domains (String -> LibWarning')))
         (R (CoDomain (String -> LibWarning')))
    forall t.
    (VALU t (IsBase t),
     StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
     All EmbPrj (Domains t)) =>
    t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
    valuN String -> LibWarning'
    UnknownField Word32
    a
        [Word32]
    _ -> R LibWarning'
    forall a. R a
    malformed

    instance EmbPrj ExecutablesFile where
      icod_ :: ExecutablesFile -> S Word32
    icod_ = \case
        ExecutablesFile String
    a Bool
    b -> Word32
    -> (String -> Bool -> ExecutablesFile)
    -> Arrows (Domains (String -> Bool -> ExecutablesFile)) (S Word32)
    forall t.
    (ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
     All EmbPrj (Domains t)) =>
    Word32 -> t -> Arrows (Domains t) (S Word32)
    icodeN Word32
    0 String -> Bool -> ExecutablesFile
    ExecutablesFile String
    a Bool
    b

      value :: Word32 -> R ExecutablesFile
    value = ([Word32] -> R ExecutablesFile) -> Word32 -> R ExecutablesFile
    forall a. EmbPrj a => ([Word32] -> R a) -> Word32 -> R a
    vcase (([Word32] -> R ExecutablesFile) -> Word32 -> R ExecutablesFile)
    -> ([Word32] -> R ExecutablesFile) -> Word32 -> R ExecutablesFile
    forall a b. (a -> b) -> a -> b
    $ \case
        [Word32
    0, Word32
    a, Word32
    b] -> (String -> Bool -> ExecutablesFile)
    -> Arrows
         (Constant Word32 (Domains (String -> Bool -> ExecutablesFile)))
         (R (CoDomain (String -> Bool -> ExecutablesFile)))
    forall t.
    (VALU t (IsBase t),
     StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
     All EmbPrj (Domains t)) =>
    t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
    valuN String -> Bool -> ExecutablesFile
    ExecutablesFile Word32
    a Word32
    b
        [Word32]
    _ -> R ExecutablesFile
    forall a. R a
    malformed

    instance EmbPrj LibPositionInfo where
      icod_ :: LibPositionInfo -> S Word32
    icod_ = \case
        LibPositionInfo Maybe String
    a LineNumber
    b String
    c -> Word32
    -> (Maybe String -> LineNumber -> String -> LibPositionInfo)
    -> Arrows
         (Domains (Maybe String -> LineNumber -> String -> LibPositionInfo))
         (S Word32)
    forall t.
    (ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
     All EmbPrj (Domains t)) =>
    Word32 -> t -> Arrows (Domains t) (S Word32)
    icodeN Word32
    0 Maybe String -> LineNumber -> String -> LibPositionInfo
    LibPositionInfo Maybe String
    a LineNumber
    b String
    c

      value :: Word32 -> R LibPositionInfo
    value = ([Word32] -> R LibPositionInfo) -> Word32 -> R LibPositionInfo
    forall a. EmbPrj a => ([Word32] -> R a) -> Word32 -> R a
    vcase (([Word32] -> R LibPositionInfo) -> Word32 -> R LibPositionInfo)
    -> ([Word32] -> R LibPositionInfo) -> Word32 -> R LibPositionInfo
    forall a b. (a -> b) -> a -> b
    $ \case
        [Word32
    0, Word32
    a, Word32
    b, Word32
    c] -> (Maybe String -> LineNumber -> String -> LibPositionInfo)
    -> Arrows
         (Constant
            Word32
            (Domains
               (Maybe String -> LineNumber -> String -> LibPositionInfo)))
         (R (CoDomain
               (Maybe String -> LineNumber -> String -> LibPositionInfo)))
    forall t.
    (VALU t (IsBase t),
     StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
     All EmbPrj (Domains t)) =>
    t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
    valuN Maybe String -> LineNumber -> String -> LibPositionInfo
    LibPositionInfo Word32
    a Word32
    b Word32
    c
        [Word32]
    _ -> R LibPositionInfo
    forall a. R a
    malformed

    instance EmbPrj Doc where
      icod_ :: Doc -> S Word32
    icod_ Doc
    d = (String -> Doc) -> Arrows (Domains (String -> Doc)) (S Word32)
    forall t.
    (ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
     All EmbPrj (Domains t)) =>
    t -> Arrows (Domains t) (S Word32)
    icodeN' (String -> Doc
    forall a. HasCallStack => a
    undefined :: String -> Doc) (Doc -> String
    forall a. Doc a -> String
    render Doc
    d)

      value :: Word32 -> R Doc
    value = (String -> Doc) -> Word32 -> R (CoDomain (String -> Doc))
    forall t.
    (VALU t (IsBase t), All EmbPrj (CoDomain t : Domains t)) =>
    t -> Word32 -> R (CoDomain t)
    valueN String -> Doc
    forall a. String -> Doc a
    text

    instance EmbPrj InfectiveCoinfective where
      icod_ :: InfectiveCoinfective -> S Word32
    icod_ InfectiveCoinfective
    Infective   = InfectiveCoinfective
    -> Arrows (Domains InfectiveCoinfective) (S Word32)
    forall t.
    (ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
     All EmbPrj (Domains t)) =>
    t -> Arrows (Domains t) (S Word32)
    icodeN' InfectiveCoinfective
    Infective
      icod_ InfectiveCoinfective
    Coinfective = Word32
    -> InfectiveCoinfective
    -> Arrows (Domains InfectiveCoinfective) (S Word32)
    forall t.
    (ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
     All EmbPrj (Domains t)) =>
    Word32 -> t -> Arrows (Domains t) (S Word32)
    icodeN Word32
    0 InfectiveCoinfective
    Coinfective

      value :: Word32 -> R InfectiveCoinfective
    value = ([Word32] -> R InfectiveCoinfective)
    -> Word32 -> R InfectiveCoinfective
    forall a. EmbPrj a => ([Word32] -> R a) -> Word32 -> R a
    vcase [Word32] -> R InfectiveCoinfective
    forall {a}. (Eq a, Num a) => [a] -> R InfectiveCoinfective
    valu where
        valu :: [a]
    -> Arrows
         (Constant Word32 (Domains InfectiveCoinfective))
         (R (CoDomain InfectiveCoinfective))
    valu []  = InfectiveCoinfective
    -> Arrows
         (Constant Word32 (Domains InfectiveCoinfective))
         (R (CoDomain InfectiveCoinfective))
    forall t.
    (VALU t (IsBase t),
     StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
     All EmbPrj (Domains t)) =>
    t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
    valuN InfectiveCoinfective
    Infective
        valu [a
    0] = InfectiveCoinfective
    -> Arrows
         (Constant Word32 (Domains InfectiveCoinfective))
         (R (CoDomain InfectiveCoinfective))
    forall t.
    (VALU t (IsBase t),
     StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
     All EmbPrj (Domains t)) =>
    t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
    valuN InfectiveCoinfective
    Coinfective
        valu [a]
    _   = R InfectiveCoinfective
    Arrows
      (Constant Word32 (Domains InfectiveCoinfective))
      (R (CoDomain InfectiveCoinfective))
    forall a. R a
    malformed

    instance EmbPrj PragmaOptions where
      icod_ :: PragmaOptions -> S Word32
    icod_    (PragmaOptions WithDefault 'False
    a WithDefault 'True
    b WithDefault 'False
    c WithDefault' UnicodeOrAscii 'True
    d Verbosity
    e ProfileOptions
    f WithDefault 'False
    g WithDefault 'False
    h WithDefault 'False
    i WithDefault 'False
    j WithDefault 'False
    k WithDefault 'True
    l WithDefault 'True
    m CutOff
    n WithDefault 'True
    o WithDefault 'False
    p WithDefault 'False
    q WithDefault 'False
    r WithDefault 'False
    s WithDefault 'False
    t WithDefault 'True
    u WithDefault 'False
    v WithDefault 'False
    w WithDefault 'False
    x WithDefault 'False
    y WithDefault 'True
    z WithDefault 'True
    aa WithDefault 'False
    bb WithDefault 'False
    cc WithDefault 'True
    dd WithDefault 'True
    ee WithDefault 'True
    ff WithDefault 'False
    gg WithDefault 'True
    hh WithDefault 'False
    ii WithDefault 'False
    jj Maybe Cubical
    kk WithDefault 'False
    ll WithDefault 'False
    mm WithDefault 'True
    nn WithDefault 'True
    oo WithDefault 'True
    pp WithDefault 'True
    qq LineNumber
    rr WithDefault 'False
    ss WithDefault 'True
    tt LineNumber
    uu WithDefault 'False
    vv WithDefault 'False
    ww Maybe LineNumber
    xx WarningMode
    yy WithDefault 'True
    zz WithDefault 'True
    aaa WithDefault 'False
    bbb WithDefault 'False
    ccc WithDefault 'True
    ddd WithDefault 'True
    eee WithDefault 'False
    fff Maybe ConfluenceCheck
    ggg WithDefault 'False
    hhh WithDefault 'False
    iii WithDefault 'False
    jjj WithDefault 'True
    kkk WithDefault 'True
    lll WithDefault 'False
    mmm WithDefault 'False
    nnn WithDefault 'False
    ooo WithDefault 'False
    ppp WithDefault 'False
    qqq WithDefault 'True
    rrr WithDefault 'False
    sss) =
        (WithDefault 'False
     -> WithDefault 'True
     -> WithDefault 'False
     -> WithDefault' UnicodeOrAscii 'True
     -> Verbosity
     -> ProfileOptions
     -> WithDefault 'False
     -> WithDefault 'False
     -> WithDefault 'False
     -> WithDefault 'False
     -> WithDefault 'False
     -> WithDefault 'True
     -> WithDefault 'True
     -> CutOff
     -> WithDefault 'True
     -> WithDefault 'False
     -> WithDefault 'False
     -> WithDefault 'False
     -> WithDefault 'False
     -> WithDefault 'False
     -> WithDefault 'True
     -> WithDefault 'False
     -> WithDefault 'False
     -> WithDefault 'False
     -> WithDefault 'False
     -> WithDefault 'True
     -> WithDefault 'True
     -> WithDefault 'False
     -> WithDefault 'False
     -> WithDefault 'True
     -> WithDefault 'True
     -> WithDefault 'True
     -> WithDefault 'False
     -> WithDefault 'True
     -> WithDefault 'False
     -> WithDefault 'False
     -> Maybe Cubical
     -> WithDefault 'False
     -> WithDefault 'False
     -> WithDefault 'True
     -> WithDefault 'True
     -> WithDefault 'True
     -> WithDefault 'True
     -> LineNumber
     -> WithDefault 'False
     -> WithDefault 'True
     -> LineNumber
     -> WithDefault 'False
     -> WithDefault 'False
     -> Maybe LineNumber
     -> WarningMode
     -> WithDefault 'True
     -> WithDefault 'True
     -> WithDefault 'False
     -> WithDefault 'False
     -> WithDefault 'True
     -> WithDefault 'True
     -> WithDefault 'False
     -> Maybe ConfluenceCheck
     -> WithDefault 'False
     -> WithDefault 'False
     -> WithDefault 'False
     -> WithDefault 'True
     -> WithDefault 'True
     -> WithDefault 'False
     -> WithDefault 'False
     -> WithDefault 'False
     -> WithDefault 'False
     -> WithDefault 'False
     -> WithDefault 'True
     -> WithDefault 'False
     -> PragmaOptions)
    -> Arrows
         (Domains
            (WithDefault 'False
             -> WithDefault 'True
             -> WithDefault 'False
             -> WithDefault' UnicodeOrAscii 'True
             -> Verbosity
             -> ProfileOptions
             -> WithDefault 'False
             -> WithDefault 'False
             -> WithDefault 'False
             -> WithDefault 'False
             -> WithDefault 'False
             -> WithDefault 'True
             -> WithDefault 'True
             -> CutOff
             -> WithDefault 'True
             -> WithDefault 'False
             -> WithDefault 'False
             -> WithDefault 'False
             -> WithDefault 'False
             -> WithDefault 'False
             -> WithDefault 'True
             -> WithDefault 'False
             -> WithDefault 'False
             -> WithDefault 'False
             -> WithDefault 'False
             -> WithDefault 'True
             -> WithDefault 'True
             -> WithDefault 'False
             -> WithDefault 'False
             -> WithDefault 'True
             -> WithDefault 'True
             -> WithDefault 'True
             -> WithDefault 'False
             -> WithDefault 'True
             -> WithDefault 'False
             -> WithDefault 'False
             -> Maybe Cubical
             -> WithDefault 'False
             -> WithDefault 'False
             -> WithDefault 'True
             -> WithDefault 'True
             -> WithDefault 'True
             -> WithDefault 'True
             -> LineNumber
             -> WithDefault 'False
             -> WithDefault 'True
             -> LineNumber
             -> WithDefault 'False
             -> WithDefault 'False
             -> Maybe LineNumber
             -> WarningMode
             -> WithDefault 'True
             -> WithDefault 'True
             -> WithDefault 'False
             -> WithDefault 'False
             -> WithDefault 'True
             -> WithDefault 'True
             -> WithDefault 'False
             -> Maybe ConfluenceCheck
             -> WithDefault 'False
             -> WithDefault 'False
             -> WithDefault 'False
             -> WithDefault 'True
             -> WithDefault 'True
             -> WithDefault 'False
             -> WithDefault 'False
             -> WithDefault 'False
             -> WithDefault 'False
             -> WithDefault 'False
             -> WithDefault 'True
             -> WithDefault 'False
             -> PragmaOptions))
         (S Word32)
    forall t.
    (ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
     All EmbPrj (Domains t)) =>
    t -> Arrows (Domains t) (S Word32)
    icodeN' WithDefault 'False
    -> WithDefault 'True
    -> WithDefault 'False
    -> WithDefault' UnicodeOrAscii 'True
    -> Verbosity
    -> ProfileOptions
    -> WithDefault 'False
    -> WithDefault 'False
    -> WithDefault 'False
    -> WithDefault 'False
    -> WithDefault 'False
    -> WithDefault 'True
    -> WithDefault 'True
    -> CutOff
    -> WithDefault 'True
    -> WithDefault 'False
    -> WithDefault 'False
    -> WithDefault 'False
    -> WithDefault 'False
    -> WithDefault 'False
    -> WithDefault 'True
    -> WithDefault 'False
    -> WithDefault 'False
    -> WithDefault 'False
    -> WithDefault 'False
    -> WithDefault 'True
    -> WithDefault 'True
    -> WithDefault 'False
    -> WithDefault 'False
    -> WithDefault 'True
    -> WithDefault 'True
    -> WithDefault 'True
    -> WithDefault 'False
    -> WithDefault 'True
    -> WithDefault 'False
    -> WithDefault 'False
    -> Maybe Cubical
    -> WithDefault 'False
    -> WithDefault 'False
    -> WithDefault 'True
    -> WithDefault 'True
    -> WithDefault 'True
    -> WithDefault 'True
    -> LineNumber
    -> WithDefault 'False
    -> WithDefault 'True
    -> LineNumber
    -> WithDefault 'False
    -> WithDefault 'False
    -> Maybe LineNumber
    -> WarningMode
    -> WithDefault 'True
    -> WithDefault 'True
    -> WithDefault 'False
    -> WithDefault 'False
    -> WithDefault 'True
    -> WithDefault 'True
    -> WithDefault 'False
    -> Maybe ConfluenceCheck
    -> WithDefault 'False
    -> WithDefault 'False
    -> WithDefault 'False
    -> WithDefault 'True
    -> WithDefault 'True
    -> WithDefault 'False
    -> WithDefault 'False
    -> WithDefault 'False
    -> WithDefault 'False
    -> WithDefault 'False
    -> WithDefault 'True
    -> WithDefault 'False
    -> PragmaOptions
    PragmaOptions WithDefault 'False
    a WithDefault 'True
    b WithDefault 'False
    c WithDefault' UnicodeOrAscii 'True
    d Verbosity
    e ProfileOptions
    f WithDefault 'False
    g WithDefault 'False
    h WithDefault 'False
    i WithDefault 'False
    j WithDefault 'False
    k WithDefault 'True
    l WithDefault 'True
    m CutOff
    n WithDefault 'True
    o WithDefault 'False
    p WithDefault 'False
    q WithDefault 'False
    r WithDefault 'False
    s WithDefault 'False
    t WithDefault 'True
    u WithDefault 'False
    v WithDefault 'False
    w WithDefault 'False
    x WithDefault 'False
    y WithDefault 'True
    z WithDefault 'True
    aa WithDefault 'False
    bb WithDefault 'False
    cc WithDefault 'True
    dd WithDefault 'True
    ee WithDefault 'True
    ff WithDefault 'False
    gg WithDefault 'True
    hh WithDefault 'False
    ii WithDefault 'False
    jj Maybe Cubical
    kk WithDefault 'False
    ll WithDefault 'False
    mm WithDefault 'True
    nn WithDefault 'True
    oo WithDefault 'True
    pp WithDefault 'True
    qq LineNumber
    rr WithDefault 'False
    ss WithDefault 'True
    tt LineNumber
    uu WithDefault 'False
    vv WithDefault 'False
    ww Maybe LineNumber
    xx WarningMode
    yy WithDefault 'True
    zz WithDefault 'True
    aaa WithDefault 'False
    bbb WithDefault 'False
    ccc WithDefault 'True
    ddd WithDefault 'True
    eee WithDefault 'False
    fff Maybe ConfluenceCheck
    ggg WithDefault 'False
    hhh WithDefault 'False
    iii WithDefault 'False
    jjj WithDefault 'True
    kkk WithDefault 'True
    lll WithDefault 'False
    mmm WithDefault 'False
    nnn WithDefault 'False
    ooo WithDefault 'False
    ppp WithDefault 'False
    qqq WithDefault 'True
    rrr WithDefault 'False
    sss

      value :: Word32 -> R PragmaOptions
    value = (WithDefault 'False
     -> WithDefault 'True
     -> WithDefault 'False
     -> WithDefault' UnicodeOrAscii 'True
     -> Verbosity
     -> ProfileOptions
     -> WithDefault 'False
     -> WithDefault 'False
     -> WithDefault 'False
     -> WithDefault 'False
     -> WithDefault 'False
     -> WithDefault 'True
     -> WithDefault 'True
     -> CutOff
     -> WithDefault 'True
     -> WithDefault 'False
     -> WithDefault 'False
     -> WithDefault 'False
     -> WithDefault 'False
     -> WithDefault 'False
     -> WithDefault 'True
     -> WithDefault 'False
     -> WithDefault 'False
     -> WithDefault 'False
     -> WithDefault 'False
     -> WithDefault 'True
     -> WithDefault 'True
     -> WithDefault 'False
     -> WithDefault 'False
     -> WithDefault 'True
     -> WithDefault 'True
     -> WithDefault 'True
     -> WithDefault 'False
     -> WithDefault 'True
     -> WithDefault 'False
     -> WithDefault 'False
     -> Maybe Cubical
     -> WithDefault 'False
     -> WithDefault 'False
     -> WithDefault 'True
     -> WithDefault 'True
     -> WithDefault 'True
     -> WithDefault 'True
     -> LineNumber
     -> WithDefault 'False
     -> WithDefault 'True
     -> LineNumber
     -> WithDefault 'False
     -> WithDefault 'False
     -> Maybe LineNumber
     -> WarningMode
     -> WithDefault 'True
     -> WithDefault 'True
     -> WithDefault 'False
     -> WithDefault 'False
     -> WithDefault 'True
     -> WithDefault 'True
     -> WithDefault 'False
     -> Maybe ConfluenceCheck
     -> WithDefault 'False
     -> WithDefault 'False
     -> WithDefault 'False
     -> WithDefault 'True
     -> WithDefault 'True
     -> WithDefault 'False
     -> WithDefault 'False
     -> WithDefault 'False
     -> WithDefault 'False
     -> WithDefault 'False
     -> WithDefault 'True
     -> WithDefault 'False
     -> PragmaOptions)
    -> Word32
    -> R (CoDomain
            (WithDefault 'False
             -> WithDefault 'True
             -> WithDefault 'False
             -> WithDefault' UnicodeOrAscii 'True
             -> Verbosity
             -> ProfileOptions
             -> WithDefault 'False
             -> WithDefault 'False
             -> WithDefault 'False
             -> WithDefault 'False
             -> WithDefault 'False
             -> WithDefault 'True
             -> WithDefault 'True
             -> CutOff
             -> WithDefault 'True
             -> WithDefault 'False
             -> WithDefault 'False
             -> WithDefault 'False
             -> WithDefault 'False
             -> WithDefault 'False
             -> WithDefault 'True
             -> WithDefault 'False
             -> WithDefault 'False
             -> WithDefault 'False
             -> WithDefault 'False
             -> WithDefault 'True
             -> WithDefault 'True
             -> WithDefault 'False
             -> WithDefault 'False
             -> WithDefault 'True
             -> WithDefault 'True
             -> WithDefault 'True
             -> WithDefault 'False
             -> WithDefault 'True
             -> WithDefault 'False
             -> WithDefault 'False
             -> Maybe Cubical
             -> WithDefault 'False
             -> WithDefault 'False
             -> WithDefault 'True
             -> WithDefault 'True
             -> WithDefault 'True
             -> WithDefault 'True
             -> LineNumber
             -> WithDefault 'False
             -> WithDefault 'True
             -> LineNumber
             -> WithDefault 'False
             -> WithDefault 'False
             -> Maybe LineNumber
             -> WarningMode
             -> WithDefault 'True
             -> WithDefault 'True
             -> WithDefault 'False
             -> WithDefault 'False
             -> WithDefault 'True
             -> WithDefault 'True
             -> WithDefault 'False
             -> Maybe ConfluenceCheck
             -> WithDefault 'False
             -> WithDefault 'False
             -> WithDefault 'False
             -> WithDefault 'True
             -> WithDefault 'True
             -> WithDefault 'False
             -> WithDefault 'False
             -> WithDefault 'False
             -> WithDefault 'False
             -> WithDefault 'False
             -> WithDefault 'True
             -> WithDefault 'False
             -> PragmaOptions))
    forall t.
    (VALU t (IsBase t), All EmbPrj (CoDomain t : Domains t)) =>
    t -> Word32 -> R (CoDomain t)
    valueN WithDefault 'False
    -> WithDefault 'True
    -> WithDefault 'False
    -> WithDefault' UnicodeOrAscii 'True
    -> Verbosity
    -> ProfileOptions
    -> WithDefault 'False
    -> WithDefault 'False
    -> WithDefault 'False
    -> WithDefault 'False
    -> WithDefault 'False
    -> WithDefault 'True
    -> WithDefault 'True
    -> CutOff
    -> WithDefault 'True
    -> WithDefault 'False
    -> WithDefault 'False
    -> WithDefault 'False
    -> WithDefault 'False
    -> WithDefault 'False
    -> WithDefault 'True
    -> WithDefault 'False
    -> WithDefault 'False
    -> WithDefault 'False
    -> WithDefault 'False
    -> WithDefault 'True
    -> WithDefault 'True
    -> WithDefault 'False
    -> WithDefault 'False
    -> WithDefault 'True
    -> WithDefault 'True
    -> WithDefault 'True
    -> WithDefault 'False
    -> WithDefault 'True
    -> WithDefault 'False
    -> WithDefault 'False
    -> Maybe Cubical
    -> WithDefault 'False
    -> WithDefault 'False
    -> WithDefault 'True
    -> WithDefault 'True
    -> WithDefault 'True
    -> WithDefault 'True
    -> LineNumber
    -> WithDefault 'False
    -> WithDefault 'True
    -> LineNumber
    -> WithDefault 'False
    -> WithDefault 'False
    -> Maybe LineNumber
    -> WarningMode
    -> WithDefault 'True
    -> WithDefault 'True
    -> WithDefault 'False
    -> WithDefault 'False
    -> WithDefault 'True
    -> WithDefault 'True
    -> WithDefault 'False
    -> Maybe ConfluenceCheck
    -> WithDefault 'False
    -> WithDefault 'False
    -> WithDefault 'False
    -> WithDefault 'True
    -> WithDefault 'True
    -> WithDefault 'False
    -> WithDefault 'False
    -> WithDefault 'False
    -> WithDefault 'False
    -> WithDefault 'False
    -> WithDefault 'True
    -> WithDefault 'False
    -> PragmaOptions
    PragmaOptions

    instance EmbPrj ProfileOptions where
      icod_ :: ProfileOptions -> S Word32
    icod_ ProfileOptions
    opts = [ProfileOption] -> S Word32
    forall a. EmbPrj a => a -> S Word32
    icode (ProfileOptions -> [ProfileOption]
    profileOptionsToList ProfileOptions
    opts)
      value :: Word32 -> R ProfileOptions
    value = ([ProfileOption] -> ProfileOptions)
    -> StateT St IO [ProfileOption] -> R ProfileOptions
    forall a b. (a -> b) -> StateT St IO a -> StateT St IO b
    forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
    fmap [ProfileOption] -> ProfileOptions
    profileOptionsFromList (StateT St IO [ProfileOption] -> R ProfileOptions)
    -> (Word32 -> StateT St IO [ProfileOption])
    -> Word32
    -> R ProfileOptions
    forall b c a. (b -> c) -> (a -> b) -> a -> c
    . Word32 -> StateT St IO [ProfileOption]
    forall a. EmbPrj a => Word32 -> R a
    value

    instance EmbPrj ProfileOption

    instance EmbPrj LHSOrPatSyn

    instance EmbPrj UnicodeOrAscii

    instance EmbPrj ConfluenceCheck where
      icod_ :: ConfluenceCheck -> S Word32
    icod_ ConfluenceCheck
    LocalConfluenceCheck  = ConfluenceCheck -> Arrows (Domains ConfluenceCheck) (S Word32)
    forall t.
    (ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
     All EmbPrj (Domains t)) =>
    t -> Arrows (Domains t) (S Word32)
    icodeN' ConfluenceCheck
    LocalConfluenceCheck
      icod_ ConfluenceCheck
    GlobalConfluenceCheck = Word32
    -> ConfluenceCheck -> Arrows (Domains ConfluenceCheck) (S Word32)
    forall t.
    (ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
     All EmbPrj (Domains t)) =>
    Word32 -> t -> Arrows (Domains t) (S Word32)
    icodeN Word32
    0 ConfluenceCheck
    GlobalConfluenceCheck

      value :: Word32 -> R ConfluenceCheck
    value = ([Word32] -> R ConfluenceCheck) -> Word32 -> R ConfluenceCheck
    forall a. EmbPrj a => ([Word32] -> R a) -> Word32 -> R a
    vcase [Word32] -> R ConfluenceCheck
    forall {a}. (Eq a, Num a) => [a] -> R ConfluenceCheck
    valu where
        valu :: [a]
    -> Arrows
         (Constant Word32 (Domains ConfluenceCheck))
         (R (CoDomain ConfluenceCheck))
    valu []  = ConfluenceCheck
    -> Arrows
         (Constant Word32 (Domains ConfluenceCheck))
         (R (CoDomain ConfluenceCheck))
    forall t.
    (VALU t (IsBase t),
     StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
     All EmbPrj (Domains t)) =>
    t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
    valuN ConfluenceCheck
    LocalConfluenceCheck
        valu [a
    0] = ConfluenceCheck
    -> Arrows
         (Constant Word32 (Domains ConfluenceCheck))
         (R (CoDomain ConfluenceCheck))
    forall t.
    (VALU t (IsBase t),
     StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
     All EmbPrj (Domains t)) =>
    t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
    valuN ConfluenceCheck
    GlobalConfluenceCheck
        valu [a]
    _   = R ConfluenceCheck
    Arrows
      (Constant Word32 (Domains ConfluenceCheck))
      (R (CoDomain ConfluenceCheck))
    forall a. R a
    malformed

    instance EmbPrj WarningMode where
      icod_ :: WarningMode -> S Word32
    icod_ (WarningMode Set WarningName
    a Bool
    b) = (Set WarningName -> Bool -> WarningMode)
    -> Arrows
         (Domains (Set WarningName -> Bool -> WarningMode)) (S Word32)
    forall t.
    (ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
     All EmbPrj (Domains t)) =>
    t -> Arrows (Domains t) (S Word32)
    icodeN' Set WarningName -> Bool -> WarningMode
    WarningMode Set WarningName
    a Bool
    b

      value :: Word32 -> R WarningMode
    value = (Set WarningName -> Bool -> WarningMode)
    -> Word32 -> R (CoDomain (Set WarningName -> Bool -> WarningMode))
    forall t.
    (VALU t (IsBase t), All EmbPrj (CoDomain t : Domains t)) =>
    t -> Word32 -> R (CoDomain t)
    valueN Set WarningName -> Bool -> WarningMode
    WarningMode

    -- Andreas, 2024-08-18
    -- Removed manual implementation of EmbPrj for this Enum type.
    instance EmbPrj WarningName

    instance EmbPrj CutOff where
      icod_ :: CutOff -> S Word32
    icod_ = \case
        CutOff
    DontCutOff -> CutOff -> Arrows (Domains CutOff) (S Word32)
    forall t.
    (ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
     All EmbPrj (Domains t)) =>
    t -> Arrows (Domains t) (S Word32)
    icodeN' CutOff
    DontCutOff
        CutOff LineNumber
    a -> Word32
    -> (LineNumber -> CutOff)
    -> Arrows (Domains (LineNumber -> CutOff)) (S Word32)
    forall t.
    (ICODE t (IsBase t), StrictCurrying (Domains t) (S Word32),
     All EmbPrj (Domains t)) =>
    Word32 -> t -> Arrows (Domains t) (S Word32)
    icodeN Word32
    0 LineNumber -> CutOff
    CutOff LineNumber
    a

      value :: Word32 -> R CutOff
    value = ([Word32] -> R CutOff) -> Word32 -> R CutOff
    forall a. EmbPrj a => ([Word32] -> R a) -> Word32 -> R a
    vcase [Word32] -> R CutOff
    valu where
        valu :: [Word32]
    -> Arrows (Constant Word32 (Domains CutOff)) (R (CoDomain CutOff))
    valu [] = CutOff
    -> Arrows (Constant Word32 (Domains CutOff)) (R (CoDomain CutOff))
    forall t.
    (VALU t (IsBase t),
     StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
     All EmbPrj (Domains t)) =>
    t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
    valuN CutOff
    DontCutOff
        valu [Word32
    0,Word32
    a] = (LineNumber -> CutOff)
    -> Arrows
         (Constant Word32 (Domains (LineNumber -> CutOff)))
         (R (CoDomain (LineNumber -> CutOff)))
    forall t.
    (VALU t (IsBase t),
     StrictCurrying (Constant Word32 (Domains t)) (R (CoDomain t)),
     All EmbPrj (Domains t)) =>
    t -> Arrows (Constant Word32 (Domains t)) (R (CoDomain t))
    valuN LineNumber -> CutOff
    CutOff Word32
    a
        valu [Word32]
    _ = R CutOff
    Arrows (Constant Word32 (Domains CutOff)) (R (CoDomain CutOff))
    forall a. R a
    malformed