==================== Renamer ====================

(Just
 ((,,,)
  (HsGroup
   (NoExtField)
   (XValBindsLR
    (NValBinds
     [((,)
       (NonRecursive)
       {Bag(LocatedA (HsBind Name)):
        [(L
          (SrcSpanAnn (EpAnn
                       (Anchor
                        { DumpRenamedAst.hs:34:1-23 }
                        (UnchangedAnchor))
                       (AnnListItem
                        [])
                       (EpaComments
                        [])) { DumpRenamedAst.hs:34:1-23 })
          (FunBind
           {NameSet:
            []}
           (L
            (SrcSpanAnn (EpAnnNotUsed) { DumpRenamedAst.hs:34:1-4 })
            {Name: DumpRenamedAst.main})
           (MG
            (NoExtField)
            (L
             (SrcSpanAnn (EpAnnNotUsed) { DumpRenamedAst.hs:34:1-23 })
             [(L
               (SrcSpanAnn (EpAnnNotUsed) { DumpRenamedAst.hs:34:1-23 })
               (Match
                (EpAnnNotUsed)
                (FunRhs
                 (L
                  (SrcSpanAnn (EpAnnNotUsed) { DumpRenamedAst.hs:34:1-4 })
                  {Name: DumpRenamedAst.main})
                 (Prefix)
                 (NoSrcStrict))
                []
                (GRHSs
                 (NoExtField)
                 [(L
                   { DumpRenamedAst.hs:34:6-23 }
                   (GRHS
                    (EpAnnNotUsed)
                    []
                    (L
                     (SrcSpanAnn (EpAnnNotUsed) { DumpRenamedAst.hs:34:8-23 })
                     (HsApp
                      (EpAnn
                       (Anchor
                        { DumpRenamedAst.hs:34:8-23 }
                        (UnchangedAnchor))
                       (NoEpAnns)
                       (EpaComments
                        []))
                      (L
                       (SrcSpanAnn (EpAnnNotUsed) { DumpRenamedAst.hs:34:8-15 })
                       (HsVar
                        (NoExtField)
                        (L
                         (SrcSpanAnn (EpAnnNotUsed) { DumpRenamedAst.hs:34:8-15 })
                         {Name: System.IO.putStrLn})))
                      (L
                       (SrcSpanAnn (EpAnnNotUsed) { DumpRenamedAst.hs:34:17-23 })
                       (HsLit
                        (EpAnn
                         (Anchor
                          { DumpRenamedAst.hs:34:17-23 }
                          (UnchangedAnchor))
                         (NoEpAnns)
                         (EpaComments
                          []))
                        (HsString
                         (SourceText "hello")
                         {FastString: "hello"})))))))]
                 (EmptyLocalBinds
                  (NoExtField)))))])
            (FromSource))
           []))]})]
     []))
   []
   [(TyClGroup
     (NoExtField)
     [(L
       (SrcSpanAnn (EpAnn
                    (Anchor
                     { DumpRenamedAst.hs:10:1-30 }
                     (UnchangedAnchor))
                    (AnnListItem
                     [])
                    (EpaComments
                     [])) { DumpRenamedAst.hs:10:1-30 })
       (DataDecl
        (DataDeclRn
         (True)
         {NameSet:
          [{Name: DumpRenamedAst.Peano}]})
        (L
         (SrcSpanAnn (EpAnnNotUsed) { DumpRenamedAst.hs:10:6-10 })
         {Name: DumpRenamedAst.Peano})
        (HsQTvs
         []
         [])
        (Prefix)
        (HsDataDefn
         (EpAnnNotUsed)
         (DataType)
         (Nothing)
         (Nothing)
         (Nothing)
         [(L
           (SrcSpanAnn (EpAnn
                        (Anchor
                         { DumpRenamedAst.hs:10:14-17 }
                         (UnchangedAnchor))
                        (AnnListItem
                         [(AddVbarAnn
                           (AR { DumpRenamedAst.hs:10:19 }))])
                        (EpaComments
                         [])) { DumpRenamedAst.hs:10:14-17 })
           (ConDeclH98
            (EpAnnNotUsed)
            (L
             (SrcSpanAnn (EpAnnNotUsed) { DumpRenamedAst.hs:10:14-17 })
             {Name: DumpRenamedAst.Zero})
            (False)
            []
            (Nothing)
            (PrefixCon
             []
             [])
            (Nothing)))
         ,(L
           (SrcSpanAnn (EpAnnNotUsed) { DumpRenamedAst.hs:10:21-30 })
           (ConDeclH98
            (EpAnnNotUsed)
            (L
             (SrcSpanAnn (EpAnnNotUsed) { DumpRenamedAst.hs:10:21-24 })
             {Name: DumpRenamedAst.Succ})
            (False)
            []
            (Nothing)
            (PrefixCon
             []
             [(HsScaled
               (HsLinearArrow
                (NormalSyntax)
                (Nothing))
               (L
                (SrcSpanAnn (EpAnnNotUsed) { DumpRenamedAst.hs:10:26-30 })
                (HsTyVar
                 (EpAnnNotUsed)
                 (NotPromoted)
                 (L
                  (SrcSpanAnn (EpAnnNotUsed) { DumpRenamedAst.hs:10:26-30 })
                  {Name: DumpRenamedAst.Peano}))))])
            (Nothing)))]
         [])))]
     []
     []
     [])
   ,(TyClGroup
     (NoExtField)
     [(L
       (SrcSpanAnn (EpAnn
                    (Anchor
                     { DumpRenamedAst.hs:12:1-39 }
                     (UnchangedAnchor))
                    (AnnListItem
                     [])
                    (EpaComments
                     [])) { DumpRenamedAst.hs:12:1-39 })
       (FamDecl
        (NoExtField)
        (FamilyDecl
         (EpAnnNotUsed)
         (ClosedTypeFamily
          (Just
           [(L
             (SrcSpanAnn (EpAnnNotUsed) { DumpRenamedAst.hs:13:3-36 })
             (FamEqn
              (EpAnnNotUsed)
              (L
               (SrcSpanAnn (EpAnnNotUsed) { DumpRenamedAst.hs:13:3-8 })
               {Name: DumpRenamedAst.Length})
              (HsOuterImplicit
               [{Name: a}
               ,{Name: as}])
              [(HsValArg
                (L
                 (SrcSpanAnn (EpAnnNotUsed) { DumpRenamedAst.hs:13:10-17 })
                 (HsParTy
                  (EpAnnNotUsed)
                  (L
                   (SrcSpanAnn (EpAnnNotUsed) { DumpRenamedAst.hs:13:11-16 })
                   (HsOpTy
                    (NoExtField)
                    (L
                     (SrcSpanAnn (EpAnnNotUsed) { DumpRenamedAst.hs:13:11 })
                     (HsTyVar
                      (EpAnnNotUsed)
                      (NotPromoted)
                      (L
                       (SrcSpanAnn (EpAnnNotUsed) { DumpRenamedAst.hs:13:11 })
                       {Name: a})))
                    (L
                     (SrcSpanAnn (EpAnnNotUsed) { DumpRenamedAst.hs:13:13 })
                     {Name: :})
                    (L
                     (SrcSpanAnn (EpAnnNotUsed) { DumpRenamedAst.hs:13:15-16 })
                     (HsTyVar
                      (EpAnnNotUsed)
                      (NotPromoted)
                      (L
                       (SrcSpanAnn (EpAnnNotUsed) { DumpRenamedAst.hs:13:15-16 })
                       {Name: as}))))))))]
              (Prefix)
              (L
               (SrcSpanAnn (EpAnnNotUsed) { DumpRenamedAst.hs:13:21-36 })
               (HsAppTy
                (NoExtField)
                (L
                 (SrcSpanAnn (EpAnnNotUsed) { DumpRenamedAst.hs:13:21-24 })
                 (HsTyVar
                  (EpAnnNotUsed)
                  (NotPromoted)
                  (L
                   (SrcSpanAnn (EpAnnNotUsed) { DumpRenamedAst.hs:13:21-24 })
                   {Name: DumpRenamedAst.Succ})))
                (L
                 (SrcSpanAnn (EpAnnNotUsed) { DumpRenamedAst.hs:13:26-36 })
                 (HsParTy
                  (EpAnnNotUsed)
                  (L
                   (SrcSpanAnn (EpAnnNotUsed) { DumpRenamedAst.hs:13:27-35 })
                   (HsAppTy
                    (NoExtField)
                    (L
                     (SrcSpanAnn (EpAnnNotUsed) { DumpRenamedAst.hs:13:27-32 })
                     (HsTyVar
                      (EpAnnNotUsed)
                      (NotPromoted)
                      (L
                       (SrcSpanAnn (EpAnnNotUsed) { DumpRenamedAst.hs:13:27-32 })
                       {Name: DumpRenamedAst.Length})))
                    (L
                     (SrcSpanAnn (EpAnnNotUsed) { DumpRenamedAst.hs:13:34-35 })
                     (HsTyVar
                      (EpAnnNotUsed)
                      (NotPromoted)
                      (L
                       (SrcSpanAnn (EpAnnNotUsed) { DumpRenamedAst.hs:13:34-35 })
                       {Name: as})))))))))))
           ,(L
             (SrcSpanAnn (EpAnnNotUsed) { DumpRenamedAst.hs:14:3-24 })
             (FamEqn
              (EpAnnNotUsed)
              (L
               (SrcSpanAnn (EpAnnNotUsed) { DumpRenamedAst.hs:14:3-8 })
               {Name: DumpRenamedAst.Length})
              (HsOuterImplicit
               [])
              [(HsValArg
                (L
                 (SrcSpanAnn (EpAnnNotUsed) { DumpRenamedAst.hs:14:10-12 })
                 (HsExplicitListTy
                  (NoExtField)
                  (IsPromoted)
                  [])))]
              (Prefix)
              (L
               (SrcSpanAnn (EpAnnNotUsed) { DumpRenamedAst.hs:14:21-24 })
               (HsTyVar
                (EpAnnNotUsed)
                (NotPromoted)
                (L
                 (SrcSpanAnn (EpAnnNotUsed) { DumpRenamedAst.hs:14:21-24 })
                 {Name: DumpRenamedAst.Zero})))))]))
         (TopLevel)
         (L
          (SrcSpanAnn (EpAnnNotUsed) { DumpRenamedAst.hs:12:13-18 })
          {Name: DumpRenamedAst.Length})
         (HsQTvs
          [{Name: k}]
          [(L
            (SrcSpanAnn (EpAnnNotUsed) { DumpRenamedAst.hs:12:20-30 })
            (KindedTyVar
             (EpAnn
              (Anchor
               { DumpRenamedAst.hs:12:20-30 }
               (UnchangedAnchor))
              [(AddEpAnn AnnDcolon (AR { DumpRenamedAst.hs:12:24-25 }))
              ,(AddEpAnn AnnOpenP (AR { DumpRenamedAst.hs:12:20 }))
              ,(AddEpAnn AnnCloseP (AR { DumpRenamedAst.hs:12:30 }))]
              (EpaComments
               []))
             (())
             (L
              (SrcSpanAnn (EpAnnNotUsed) { DumpRenamedAst.hs:12:21-22 })
              {Name: as})
             (L
              (SrcSpanAnn (EpAnnNotUsed) { DumpRenamedAst.hs:12:27-29 })
              (HsListTy
               (EpAnn
                (Anchor
                 { DumpRenamedAst.hs:12:27 }
                 (UnchangedAnchor))
                (AnnParen
                 (AnnParensSquare)
                 (AR { DumpRenamedAst.hs:12:27 })
                 (AR { DumpRenamedAst.hs:12:29 }))
                (EpaComments
                 []))
               (L
                (SrcSpanAnn (EpAnnNotUsed) { DumpRenamedAst.hs:12:28 })
                (HsTyVar
                 (EpAnnNotUsed)
                 (NotPromoted)
                 (L
                  (SrcSpanAnn (EpAnnNotUsed) { DumpRenamedAst.hs:12:28 })
                  {Name: k})))))))])
         (Prefix)
         (L
          { DumpRenamedAst.hs:12:32-39 }
          (KindSig
           (NoExtField)
           (L
            (SrcSpanAnn (EpAnnNotUsed) { DumpRenamedAst.hs:12:35-39 })
            (HsTyVar
             (EpAnnNotUsed)
             (NotPromoted)
             (L
              (SrcSpanAnn (EpAnnNotUsed) { DumpRenamedAst.hs:12:35-39 })
              {Name: DumpRenamedAst.Peano})))))
         (Nothing))))]
     []
     []
     [])
   ,(TyClGroup
     (NoExtField)
     [(L
       (SrcSpanAnn (EpAnn
                    (Anchor
                     { DumpRenamedAst.hs:16:1-33 }
                     (UnchangedAnchor))
                    (AnnListItem
                     [])
                    (EpaComments
                     [])) { DumpRenamedAst.hs:16:1-33 })
       (FamDecl
        (NoExtField)
        (FamilyDecl
         (EpAnnNotUsed)
         (DataFamily)
         (TopLevel)
         (L
          (SrcSpanAnn (EpAnnNotUsed) { DumpRenamedAst.hs:16:13-15 })
          {Name: DumpRenamedAst.Nat})
         (HsQTvs
          [{Name: k}]
          [])
         (Prefix)
         (L
          { DumpRenamedAst.hs:16:17-33 }
          (KindSig
           (NoExtField)
           (L
            (SrcSpanAnn (EpAnnNotUsed) { DumpRenamedAst.hs:16:20-33 })
            (HsFunTy
             (EpAnn
              (Anchor
               { DumpRenamedAst.hs:16:20 }
               (UnchangedAnchor))
              (AddRarrowAnn
               (AR { DumpRenamedAst.hs:16:22-23 }))
              (EpaComments
               []))
             (HsUnrestrictedArrow
              (NormalSyntax))
             (L
              (SrcSpanAnn (EpAnnNotUsed) { DumpRenamedAst.hs:16:20 })
              (HsTyVar
               (EpAnnNotUsed)
               (NotPromoted)
               (L
                (SrcSpanAnn (EpAnnNotUsed) { DumpRenamedAst.hs:16:20 })
                {Name: k})))
             (L
              (SrcSpanAnn (EpAnnNotUsed) { DumpRenamedAst.hs:16:25-33 })
              (HsFunTy
               (EpAnn
                (Anchor
                 { DumpRenamedAst.hs:16:25 }
                 (UnchangedAnchor))
                (AddRarrowAnn
                 (AR { DumpRenamedAst.hs:16:27-28 }))
                (EpaComments
                 []))
               (HsUnrestrictedArrow
                (NormalSyntax))
               (L
                (SrcSpanAnn (EpAnnNotUsed) { DumpRenamedAst.hs:16:25 })
                (HsTyVar
                 (EpAnnNotUsed)
                 (NotPromoted)
                 (L
                  (SrcSpanAnn (EpAnnNotUsed) { DumpRenamedAst.hs:16:25 })
                  {Name: k})))
               (L
                (SrcSpanAnn (EpAnnNotUsed) { DumpRenamedAst.hs:16:30-33 })
                (HsTyVar
                 (EpAnnNotUsed)
                 (NotPromoted)
                 (L
                  (SrcSpanAnn (EpAnnNotUsed) { DumpRenamedAst.hs:16:30-33 })
                  {Name: GHC.Types.Type})))))))))
         (Nothing))))]
     []
     []
     [(L
       (SrcSpanAnn (EpAnn
                    (Anchor
                     { DumpRenamedAst.hs:(19,1)-(20,45) }
                     (UnchangedAnchor))
                    (AnnListItem
                     [])
                    (EpaComments
                     [])) { DumpRenamedAst.hs:(19,1)-(20,45) })
       (DataFamInstD
        (NoExtField)
        (DataFamInstDecl
         (FamEqn
          (EpAnnNotUsed)
          (L
           (SrcSpanAnn (EpAnnNotUsed) { DumpRenamedAst.hs:19:18-20 })
           {Name: DumpRenamedAst.Nat})
          (HsOuterImplicit
           [{Name: a}
           ,{Name: k}])
          [(HsValArg
            (L
             (SrcSpanAnn (EpAnnNotUsed) { DumpRenamedAst.hs:19:22-37 })
             (HsParTy
              (EpAnnNotUsed)
              (L
               (SrcSpanAnn (EpAnnNotUsed) { DumpRenamedAst.hs:19:23-36 })
               (HsKindSig
                (EpAnn
                 (Anchor
                  { DumpRenamedAst.hs:19:23 }
                  (UnchangedAnchor))
                 [(AddEpAnn AnnDcolon (AR { DumpRenamedAst.hs:19:25-26 }))]
                 (EpaComments
                  []))
                (L
                 (SrcSpanAnn (EpAnnNotUsed) { DumpRenamedAst.hs:19:23 })
                 (HsTyVar
                  (EpAnnNotUsed)
                  (NotPromoted)
                  (L
                   (SrcSpanAnn (EpAnnNotUsed) { DumpRenamedAst.hs:19:23 })
                   {Name: a})))
                (L
                 (SrcSpanAnn (EpAnnNotUsed) { DumpRenamedAst.hs:19:28-36 })
                 (HsFunTy
                  (EpAnn
                   (Anchor
                    { DumpRenamedAst.hs:19:28 }
                    (UnchangedAnchor))
                   (AddRarrowAnn
                    (AR { DumpRenamedAst.hs:19:30-31 }))
                   (EpaComments
                    []))
                  (HsUnrestrictedArrow
                   (NormalSyntax))
                  (L
                   (SrcSpanAnn (EpAnnNotUsed) { DumpRenamedAst.hs:19:28 })
                   (HsTyVar
                    (EpAnnNotUsed)
                    (NotPromoted)
                    (L
                     (SrcSpanAnn (EpAnnNotUsed) { DumpRenamedAst.hs:19:28 })
                     {Name: k})))
                  (L
                   (SrcSpanAnn (EpAnnNotUsed) { DumpRenamedAst.hs:19:33-36 })
                   (HsTyVar
                    (EpAnnNotUsed)
                    (NotPromoted)
                    (L
                     (SrcSpanAnn (EpAnnNotUsed) { DumpRenamedAst.hs:19:33-36 })
                     {Name: GHC.Types.Type}))))))))))]
          (Prefix)
          (HsDataDefn
           (EpAnnNotUsed)
           (NewType)
           (Nothing)
           (Nothing)
           (Just
            (L
             (SrcSpanAnn (EpAnnNotUsed) { DumpRenamedAst.hs:19:42-60 })
             (HsFunTy
              (EpAnn
               (Anchor
                { DumpRenamedAst.hs:19:42-52 }
                (UnchangedAnchor))
               (AddRarrowAnn
                (AR { DumpRenamedAst.hs:19:54-55 }))
               (EpaComments
                []))
              (HsUnrestrictedArrow
               (NormalSyntax))
              (L
               (SrcSpanAnn (EpAnnNotUsed) { DumpRenamedAst.hs:19:42-52 })
               (HsParTy
                (EpAnnNotUsed)
                (L
                 (SrcSpanAnn (EpAnnNotUsed) { DumpRenamedAst.hs:19:43-51 })
                 (HsFunTy
                  (EpAnn
                   (Anchor
                    { DumpRenamedAst.hs:19:43 }
                    (UnchangedAnchor))
                   (AddRarrowAnn
                    (AR { DumpRenamedAst.hs:19:45-46 }))
                   (EpaComments
                    []))
                  (HsUnrestrictedArrow
                   (NormalSyntax))
                  (L
                   (SrcSpanAnn (EpAnnNotUsed) { DumpRenamedAst.hs:19:43 })
                   (HsTyVar
                    (EpAnnNotUsed)
                    (NotPromoted)
                    (L
                     (SrcSpanAnn (EpAnnNotUsed) { DumpRenamedAst.hs:19:43 })
                     {Name: k})))
                  (L
                   (SrcSpanAnn (EpAnnNotUsed) { DumpRenamedAst.hs:19:48-51 })
                   (HsTyVar
                    (EpAnnNotUsed)
                    (NotPromoted)
                    (L
                     (SrcSpanAnn (EpAnnNotUsed) { DumpRenamedAst.hs:19:48-51 })
                     {Name: GHC.Types.Type})))))))
              (L
               (SrcSpanAnn (EpAnnNotUsed) { DumpRenamedAst.hs:19:57-60 })
               (HsTyVar
                (EpAnnNotUsed)
                (NotPromoted)
                (L
                 (SrcSpanAnn (EpAnnNotUsed) { DumpRenamedAst.hs:19:57-60 })
                 {Name: GHC.Types.Type}))))))
           [(L
             (SrcSpanAnn (EpAnnNotUsed) { DumpRenamedAst.hs:20:3-45 })
             (ConDeclGADT
              (EpAnnNotUsed)
              [(L
                (SrcSpanAnn (EpAnnNotUsed) { DumpRenamedAst.hs:20:3-5 })
                {Name: DumpRenamedAst.Nat})]
              (L
               (SrcSpanAnn (EpAnnNotUsed) { DumpRenamedAst.hs:20:10-45 })
               (HsOuterImplicit
                [{Name: f}
                ,{Name: g}]))
              (Nothing)
              (PrefixConGADT
               [(HsScaled
                 (HsUnrestrictedArrow
                  (NormalSyntax))
                 (L
                  (SrcSpanAnn (EpAnn
                               (Anchor
                                { DumpRenamedAst.hs:20:10-34 }
                                (UnchangedAnchor))
                               (AnnListItem
                                [(AddRarrowAnn
                                  (AR { DumpRenamedAst.hs:20:36-37 }))])
                               (EpaComments
                                [])) { DumpRenamedAst.hs:20:10-34 })
                  (HsParTy
                   (EpAnnNotUsed)
                   (L
                    (SrcSpanAnn (EpAnnNotUsed) { DumpRenamedAst.hs:20:11-33 })
                    (HsForAllTy
                     (NoExtField)
                     (HsForAllInvis
                      (EpAnnNotUsed)
                      [(L
                        (SrcSpanAnn (EpAnnNotUsed) { DumpRenamedAst.hs:20:18-19 })
                        (UserTyVar
                         (EpAnn
                          (Anchor
                           { DumpRenamedAst.hs:20:18-19 }
                           (UnchangedAnchor))
                          []
                          (EpaComments
                           []))
                         (SpecifiedSpec)
                         (L
                          (SrcSpanAnn (EpAnnNotUsed) { DumpRenamedAst.hs:20:18-19 })
                          {Name: xx})))])
                     (L
                      (SrcSpanAnn (EpAnnNotUsed) { DumpRenamedAst.hs:20:22-33 })
                      (HsFunTy
                       (EpAnn
                        (Anchor
                         { DumpRenamedAst.hs:20:22-25 }
                         (UnchangedAnchor))
                        (AddRarrowAnn
                         (AR { DumpRenamedAst.hs:20:27-28 }))
                        (EpaComments
                         []))
                       (HsUnrestrictedArrow
                        (NormalSyntax))
                       (L
                        (SrcSpanAnn (EpAnnNotUsed) { DumpRenamedAst.hs:20:22-25 })
                        (HsAppTy
                         (NoExtField)
                         (L
                          (SrcSpanAnn (EpAnnNotUsed) { DumpRenamedAst.hs:20:22 })
                          (HsTyVar
                           (EpAnnNotUsed)
                           (NotPromoted)
                           (L
                            (SrcSpanAnn (EpAnnNotUsed) { DumpRenamedAst.hs:20:22 })
                            {Name: f})))
                         (L
                          (SrcSpanAnn (EpAnnNotUsed) { DumpRenamedAst.hs:20:24-25 })
                          (HsTyVar
                           (EpAnnNotUsed)
                           (NotPromoted)
                           (L
                            (SrcSpanAnn (EpAnnNotUsed) { DumpRenamedAst.hs:20:24-25 })
                            {Name: xx})))))
                       (L
                        (SrcSpanAnn (EpAnnNotUsed) { DumpRenamedAst.hs:20:30-33 })
                        (HsAppTy
                         (NoExtField)
                         (L
                          (SrcSpanAnn (EpAnnNotUsed) { DumpRenamedAst.hs:20:30 })
                          (HsTyVar
                           (EpAnnNotUsed)
                           (NotPromoted)
                           (L
                            (SrcSpanAnn (EpAnnNotUsed) { DumpRenamedAst.hs:20:30 })
                            {Name: g})))
                         (L
                          (SrcSpanAnn (EpAnnNotUsed) { DumpRenamedAst.hs:20:32-33 })
                          (HsTyVar
                           (EpAnnNotUsed)
                           (NotPromoted)
                           (L
                            (SrcSpanAnn (EpAnnNotUsed) { DumpRenamedAst.hs:20:32-33 })
                            {Name: xx}))))))))))))])
              (L
               (SrcSpanAnn (EpAnnNotUsed) { DumpRenamedAst.hs:20:39-45 })
               (HsAppTy
                (NoExtField)
                (L
                 (SrcSpanAnn (EpAnnNotUsed) { DumpRenamedAst.hs:20:39-43 })
                 (HsAppTy
                  (NoExtField)
                  (L
                   (SrcSpanAnn (EpAnnNotUsed) { DumpRenamedAst.hs:20:39-41 })
                   (HsTyVar
                    (EpAnnNotUsed)
                    (NotPromoted)
                    (L
                     (SrcSpanAnn (EpAnnNotUsed) { DumpRenamedAst.hs:20:39-41 })
                     {Name: DumpRenamedAst.Nat})))
                  (L
                   (SrcSpanAnn (EpAnnNotUsed) { DumpRenamedAst.hs:20:43 })
                   (HsTyVar
                    (EpAnnNotUsed)
                    (NotPromoted)
                    (L
                     (SrcSpanAnn (EpAnnNotUsed) { DumpRenamedAst.hs:20:43 })
                     {Name: f})))))
                (L
                 (SrcSpanAnn (EpAnnNotUsed) { DumpRenamedAst.hs:20:45 })
                 (HsTyVar
                  (EpAnnNotUsed)
                  (NotPromoted)
                  (L
                   (SrcSpanAnn (EpAnnNotUsed) { DumpRenamedAst.hs:20:45 })
                   {Name: g})))))
              (Nothing)))]
           [])))))])
   ,(TyClGroup
     (NoExtField)
     [(L
       (SrcSpanAnn (EpAnn
                    (Anchor
                     { DumpRenamedAst.hs:22:1-29 }
                     (UnchangedAnchor))
                    (AnnListItem
                     [])
                    (EpaComments
                     [])) { DumpRenamedAst.hs:22:1-29 })
       (DataDecl
        (DataDeclRn
         (False)
         {NameSet:
          [{Name: a}
          ,{Name: f}]})
        (L
         (SrcSpanAnn (EpAnnNotUsed) { DumpRenamedAst.hs:22:6 })
         {Name: DumpRenamedAst.T})
        (HsQTvs
         [{Name: k}]
         [(L
           (SrcSpanAnn (EpAnnNotUsed) { DumpRenamedAst.hs:22:8 })
           (UserTyVar
            (EpAnn
             (Anchor
              { DumpRenamedAst.hs:22:8 }
              (UnchangedAnchor))
             []
             (EpaComments
              []))
            (())
            (L
             (SrcSpanAnn (EpAnnNotUsed) { DumpRenamedAst.hs:22:8 })
             {Name: f})))
         ,(L
           (SrcSpanAnn (EpAnnNotUsed) { DumpRenamedAst.hs:22:10-17 })
           (KindedTyVar
            (EpAnn
             (Anchor
              { DumpRenamedAst.hs:22:10-17 }
              (UnchangedAnchor))
             [(AddEpAnn AnnDcolon (AR { DumpRenamedAst.hs:22:13-14 }))
             ,(AddEpAnn AnnOpenP (AR { DumpRenamedAst.hs:22:10 }))
             ,(AddEpAnn AnnCloseP (AR { DumpRenamedAst.hs:22:17 }))]
             (EpaComments
              []))
            (())
            (L
             (SrcSpanAnn (EpAnnNotUsed) { DumpRenamedAst.hs:22:11 })
             {Name: a})
            (L
             (SrcSpanAnn (EpAnnNotUsed) { DumpRenamedAst.hs:22:16 })
             (HsTyVar
              (EpAnnNotUsed)
              (NotPromoted)
              (L
               (SrcSpanAnn (EpAnnNotUsed) { DumpRenamedAst.hs:22:16 })
               {Name: k})))))])
        (Prefix)
        (HsDataDefn
         (EpAnnNotUsed)
         (DataType)
         (Nothing)
         (Nothing)
         (Nothing)
         [(L
           (SrcSpanAnn (EpAnnNotUsed) { DumpRenamedAst.hs:22:21-29 })
           (ConDeclH98
            (EpAnnNotUsed)
            (L
             (SrcSpanAnn (EpAnnNotUsed) { DumpRenamedAst.hs:22:21-23 })
             {Name: DumpRenamedAst.MkT})
            (False)
            []
            (Nothing)
            (PrefixCon
             []
             [(HsScaled
               (HsLinearArrow
                (NormalSyntax)
                (Nothing))
               (L
                (SrcSpanAnn (EpAnnNotUsed) { DumpRenamedAst.hs:22:25-29 })
                (HsParTy
                 (EpAnnNotUsed)
                 (L
                  (SrcSpanAnn (EpAnnNotUsed) { DumpRenamedAst.hs:22:26-28 })
                  (HsAppTy
                   (NoExtField)
                   (L
                    (SrcSpanAnn (EpAnnNotUsed) { DumpRenamedAst.hs:22:26 })
                    (HsTyVar
                     (EpAnnNotUsed)
                     (NotPromoted)
                     (L
                      (SrcSpanAnn (EpAnnNotUsed) { DumpRenamedAst.hs:22:26 })
                      {Name: f})))
                   (L
                    (SrcSpanAnn (EpAnnNotUsed) { DumpRenamedAst.hs:22:28 })
                    (HsTyVar
                     (EpAnnNotUsed)
                     (NotPromoted)
                     (L
                      (SrcSpanAnn (EpAnnNotUsed) { DumpRenamedAst.hs:22:28 })
                      {Name: a}))))))))])
            (Nothing)))]
         [])))]
     []
     []
     [])
   ,(TyClGroup
     (NoExtField)
     [(L
       (SrcSpanAnn (EpAnn
                    (Anchor
                     { DumpRenamedAst.hs:24:1-48 }
                     (UnchangedAnchor))
                    (AnnListItem
                     [])
                    (EpaComments
                     [])) { DumpRenamedAst.hs:24:1-48 })
       (FamDecl
        (NoExtField)
        (FamilyDecl
         (EpAnnNotUsed)
         (ClosedTypeFamily
          (Just
           [(L
             (SrcSpanAnn (EpAnnNotUsed) { DumpRenamedAst.hs:25:3-30 })
             (FamEqn
              (EpAnnNotUsed)
              (L
               (SrcSpanAnn (EpAnnNotUsed) { DumpRenamedAst.hs:25:3-4 })
               {Name: DumpRenamedAst.F1})
              (HsOuterImplicit
               [{Name: a}
               ,{Name: f}])
              [(HsTypeArg
                { DumpRenamedAst.hs:25:6 }
                (L
                 (SrcSpanAnn (EpAnnNotUsed) { DumpRenamedAst.hs:25:7-11 })
                 (HsTyVar
                  (EpAnnNotUsed)
                  (NotPromoted)
                  (L
                   (SrcSpanAnn (EpAnnNotUsed) { DumpRenamedAst.hs:25:7-11 })
                   {Name: DumpRenamedAst.Peano}))))
              ,(HsValArg
                (L
                 (SrcSpanAnn (EpAnnNotUsed) { DumpRenamedAst.hs:25:13 })
                 (HsTyVar
                  (EpAnnNotUsed)
                  (NotPromoted)
                  (L
                   (SrcSpanAnn (EpAnnNotUsed) { DumpRenamedAst.hs:25:13 })
                   {Name: a}))))
              ,(HsValArg
                (L
                 (SrcSpanAnn (EpAnnNotUsed) { DumpRenamedAst.hs:25:15 })
                 (HsTyVar
                  (EpAnnNotUsed)
                  (NotPromoted)
                  (L
                   (SrcSpanAnn (EpAnnNotUsed) { DumpRenamedAst.hs:25:15 })
                   {Name: f}))))]
              (Prefix)
              (L
               (SrcSpanAnn (EpAnnNotUsed) { DumpRenamedAst.hs:25:19-30 })
               (HsAppTy
                (NoExtField)
                (L
                 (SrcSpanAnn (EpAnnNotUsed) { DumpRenamedAst.hs:25:19-28 })
                 (HsAppTy
                  (NoExtField)
                  (L
                   (SrcSpanAnn (EpAnnNotUsed) { DumpRenamedAst.hs:25:19-26 })
                   (HsAppKindTy
                    { DumpRenamedAst.hs:25:21 }
                    (L
                     (SrcSpanAnn (EpAnnNotUsed) { DumpRenamedAst.hs:25:19 })
                     (HsTyVar
                      (EpAnnNotUsed)
                      (NotPromoted)
                      (L
                       (SrcSpanAnn (EpAnnNotUsed) { DumpRenamedAst.hs:25:19 })
                       {Name: DumpRenamedAst.T})))
                    (L
                     (SrcSpanAnn (EpAnnNotUsed) { DumpRenamedAst.hs:25:22-26 })
                     (HsTyVar
                      (EpAnnNotUsed)
                      (NotPromoted)
                      (L
                       (SrcSpanAnn (EpAnnNotUsed) { DumpRenamedAst.hs:25:22-26 })
                       {Name: DumpRenamedAst.Peano})))))
                  (L
                   (SrcSpanAnn (EpAnnNotUsed) { DumpRenamedAst.hs:25:28 })
                   (HsTyVar
                    (EpAnnNotUsed)
                    (NotPromoted)
                    (L
                     (SrcSpanAnn (EpAnnNotUsed) { DumpRenamedAst.hs:25:28 })
                     {Name: f})))))
                (L
                 (SrcSpanAnn (EpAnnNotUsed) { DumpRenamedAst.hs:25:30 })
                 (HsTyVar
                  (EpAnnNotUsed)
                  (NotPromoted)
                  (L
                   (SrcSpanAnn (EpAnnNotUsed) { DumpRenamedAst.hs:25:30 })
                   {Name: a})))))))]))
         (TopLevel)
         (L
          (SrcSpanAnn (EpAnnNotUsed) { DumpRenamedAst.hs:24:13-14 })
          {Name: DumpRenamedAst.F1})
         (HsQTvs
          [{Name: k}]
          [(L
            (SrcSpanAnn (EpAnnNotUsed) { DumpRenamedAst.hs:24:16-23 })
            (KindedTyVar
             (EpAnn
              (Anchor
               { DumpRenamedAst.hs:24:16-23 }
               (UnchangedAnchor))
              [(AddEpAnn AnnDcolon (AR { DumpRenamedAst.hs:24:19-20 }))
              ,(AddEpAnn AnnOpenP (AR { DumpRenamedAst.hs:24:16 }))
              ,(AddEpAnn AnnCloseP (AR { DumpRenamedAst.hs:24:23 }))]
              (EpaComments
               []))
             (())
             (L
              (SrcSpanAnn (EpAnnNotUsed) { DumpRenamedAst.hs:24:17 })
              {Name: a})
             (L
              (SrcSpanAnn (EpAnnNotUsed) { DumpRenamedAst.hs:24:22 })
              (HsTyVar
               (EpAnnNotUsed)
               (NotPromoted)
               (L
                (SrcSpanAnn (EpAnnNotUsed) { DumpRenamedAst.hs:24:22 })
                {Name: k})))))
          ,(L
            (SrcSpanAnn (EpAnnNotUsed) { DumpRenamedAst.hs:24:25-40 })
            (KindedTyVar
             (EpAnn
              (Anchor
               { DumpRenamedAst.hs:24:25-40 }
               (UnchangedAnchor))
              [(AddEpAnn AnnDcolon (AR { DumpRenamedAst.hs:24:28-29 }))
              ,(AddEpAnn AnnOpenP (AR { DumpRenamedAst.hs:24:25 }))
              ,(AddEpAnn AnnCloseP (AR { DumpRenamedAst.hs:24:40 }))]
              (EpaComments
               []))
             (())
             (L
              (SrcSpanAnn (EpAnnNotUsed) { DumpRenamedAst.hs:24:26 })
              {Name: f})
             (L
              (SrcSpanAnn (EpAnnNotUsed) { DumpRenamedAst.hs:24:31-39 })
              (HsFunTy
               (EpAnn
                (Anchor
                 { DumpRenamedAst.hs:24:31 }
                 (UnchangedAnchor))
                (AddRarrowAnn
                 (AR { DumpRenamedAst.hs:24:33-34 }))
                (EpaComments
                 []))
               (HsUnrestrictedArrow
                (NormalSyntax))
               (L
                (SrcSpanAnn (EpAnnNotUsed) { DumpRenamedAst.hs:24:31 })
                (HsTyVar
                 (EpAnnNotUsed)
                 (NotPromoted)
                 (L
                  (SrcSpanAnn (EpAnnNotUsed) { DumpRenamedAst.hs:24:31 })
                  {Name: k})))
               (L
                (SrcSpanAnn (EpAnnNotUsed) { DumpRenamedAst.hs:24:36-39 })
                (HsTyVar
                 (EpAnnNotUsed)
                 (NotPromoted)
                 (L
                  (SrcSpanAnn (EpAnnNotUsed) { DumpRenamedAst.hs:24:36-39 })
                  {Name: GHC.Types.Type})))))))])
         (Prefix)
         (L
          { DumpRenamedAst.hs:24:42-48 }
          (KindSig
           (NoExtField)
           (L
            (SrcSpanAnn (EpAnnNotUsed) { DumpRenamedAst.hs:24:45-48 })
            (HsTyVar
             (EpAnnNotUsed)
             (NotPromoted)
             (L
              (SrcSpanAnn (EpAnnNotUsed) { DumpRenamedAst.hs:24:45-48 })
              {Name: GHC.Types.Type})))))
         (Nothing))))]
     []
     []
     [])
   ,(TyClGroup
     (NoExtField)
     [(L
       (SrcSpanAnn (EpAnn
                    (Anchor
                     { DumpRenamedAst.hs:(27,1)-(28,12) }
                     (UnchangedAnchor))
                    (AnnListItem
                     [])
                    (EpaComments
                     [])) { DumpRenamedAst.hs:(27,1)-(28,12) })
       (ClassDecl
        {NameSet:
         []}
        (Nothing)
        (L
         (SrcSpanAnn (EpAnnNotUsed) { DumpRenamedAst.hs:27:7 })
         {Name: DumpRenamedAst.C})
        (HsQTvs
         []
         [(L
           (SrcSpanAnn (EpAnnNotUsed) { DumpRenamedAst.hs:27:9 })
           (UserTyVar
            (EpAnn
             (Anchor
              { DumpRenamedAst.hs:27:9 }
              (UnchangedAnchor))
             []
             (EpaComments
              []))
            (())
            (L
             (SrcSpanAnn (EpAnnNotUsed) { DumpRenamedAst.hs:27:9 })
             {Name: a})))])
        (Prefix)
        []
        []
        {Bag(LocatedA (HsBind Name)):
         []}
        [(L
          (SrcSpanAnn (EpAnnNotUsed) { DumpRenamedAst.hs:28:3-12 })
          (FamilyDecl
           (EpAnnNotUsed)
           (OpenTypeFamily)
           (NotTopLevel)
           (L
            (SrcSpanAnn (EpAnnNotUsed) { DumpRenamedAst.hs:28:8 })
            {Name: DumpRenamedAst.F})
           (HsQTvs
            []
            [(L
              (SrcSpanAnn (EpAnnNotUsed) { DumpRenamedAst.hs:28:10 })
              (UserTyVar
               (EpAnn
                (Anchor
                 { DumpRenamedAst.hs:28:10 }
                 (UnchangedAnchor))
                []
                (EpaComments
                 []))
               (())
               (L
                (SrcSpanAnn (EpAnnNotUsed) { DumpRenamedAst.hs:28:10 })
                {Name: a})))
            ,(L
              (SrcSpanAnn (EpAnnNotUsed) { DumpRenamedAst.hs:28:12 })
              (UserTyVar
               (EpAnn
                (Anchor
                 { DumpRenamedAst.hs:28:12 }
                 (UnchangedAnchor))
                []
                (EpaComments
                 []))
               (())
               (L
                (SrcSpanAnn (EpAnnNotUsed) { DumpRenamedAst.hs:28:12 })
                {Name: b})))])
           (Prefix)
           (L
            { <no location info> }
            (NoSig
             (NoExtField)))
           (Nothing)))]
        []
        []))]
     []
     []
     [(L
       (SrcSpanAnn (EpAnn
                    (Anchor
                     { DumpRenamedAst.hs:(30,1)-(31,27) }
                     (UnchangedAnchor))
                    (AnnListItem
                     [])
                    (EpaComments
                     [])) { DumpRenamedAst.hs:(30,1)-(31,27) })
       (ClsInstD
        (NoExtField)
        (ClsInstDecl
         (NoExtField)
         (L
          (SrcSpanAnn (EpAnnNotUsed) { DumpRenamedAst.hs:30:10-14 })
          (HsSig
           (NoExtField)
           (HsOuterImplicit
            [{Name: a}])
           (L
            (SrcSpanAnn (EpAnnNotUsed) { DumpRenamedAst.hs:30:10-14 })
            (HsAppTy
             (NoExtField)
             (L
              (SrcSpanAnn (EpAnnNotUsed) { DumpRenamedAst.hs:30:10 })
              (HsTyVar
               (EpAnnNotUsed)
               (NotPromoted)
               (L
                (SrcSpanAnn (EpAnnNotUsed) { DumpRenamedAst.hs:30:10 })
                {Name: DumpRenamedAst.C})))
             (L
              (SrcSpanAnn (EpAnnNotUsed) { DumpRenamedAst.hs:30:12-14 })
              (HsListTy
               (EpAnn
                (Anchor
                 { DumpRenamedAst.hs:30:12 }
                 (UnchangedAnchor))
                (AnnParen
                 (AnnParensSquare)
                 (AR { DumpRenamedAst.hs:30:12 })
                 (AR { DumpRenamedAst.hs:30:14 }))
                (EpaComments
                 []))
               (L
                (SrcSpanAnn (EpAnnNotUsed) { DumpRenamedAst.hs:30:13 })
                (HsTyVar
                 (EpAnnNotUsed)
                 (NotPromoted)
                 (L
                  (SrcSpanAnn (EpAnnNotUsed) { DumpRenamedAst.hs:30:13 })
                  {Name: a})))))))))
         {Bag(LocatedA (HsBind Name)):
          []}
         []
         [(L
           (SrcSpanAnn (EpAnnNotUsed) { DumpRenamedAst.hs:31:3-27 })
           (TyFamInstDecl
            (EpAnn
             (Anchor
              { DumpRenamedAst.hs:31:3-27 }
              (UnchangedAnchor))
             [(AddEpAnn AnnType (AR { DumpRenamedAst.hs:31:3-6 }))]
             (EpaComments
              []))
            (FamEqn
             (EpAnnNotUsed)
             (L
              (SrcSpanAnn (EpAnnNotUsed) { DumpRenamedAst.hs:31:8 })
              {Name: DumpRenamedAst.F})
             (HsOuterImplicit
              [{Name: b}])
             [(HsValArg
               (L
                (SrcSpanAnn (EpAnnNotUsed) { DumpRenamedAst.hs:31:10-12 })
                (HsListTy
                 (EpAnn
                  (Anchor
                   { DumpRenamedAst.hs:31:10 }
                   (UnchangedAnchor))
                  (AnnParen
                   (AnnParensSquare)
                   (AR { DumpRenamedAst.hs:31:10 })
                   (AR { DumpRenamedAst.hs:31:12 }))
                  (EpaComments
                   []))
                 (L
                  (SrcSpanAnn (EpAnnNotUsed) { DumpRenamedAst.hs:31:11 })
                  (HsTyVar
                   (EpAnnNotUsed)
                   (NotPromoted)
                   (L
                    (SrcSpanAnn (EpAnnNotUsed) { DumpRenamedAst.hs:31:11 })
                    {Name: a}))))))
             ,(HsValArg
               (L
                (SrcSpanAnn (EpAnnNotUsed) { DumpRenamedAst.hs:31:14 })
                (HsTyVar
                 (EpAnnNotUsed)
                 (NotPromoted)
                 (L
                  (SrcSpanAnn (EpAnnNotUsed) { DumpRenamedAst.hs:31:14 })
                  {Name: b}))))]
             (Prefix)
             (L
              (SrcSpanAnn (EpAnnNotUsed) { DumpRenamedAst.hs:31:18-27 })
              (HsAppTy
               (NoExtField)
               (L
                (SrcSpanAnn (EpAnnNotUsed) { DumpRenamedAst.hs:31:18-25 })
                (HsAppTy
                 (NoExtField)
                 (L
                  (SrcSpanAnn (EpAnnNotUsed) { DumpRenamedAst.hs:31:18-23 })
                  (HsTyVar
                   (EpAnnNotUsed)
                   (NotPromoted)
                   (L
                    (SrcSpanAnn (EpAnnNotUsed) { DumpRenamedAst.hs:31:18-23 })
                    {Name: Data.Either.Either})))
                 (L
                  (SrcSpanAnn (EpAnnNotUsed) { DumpRenamedAst.hs:31:25 })
                  (HsTyVar
                   (EpAnnNotUsed)
                   (NotPromoted)
                   (L
                    (SrcSpanAnn (EpAnnNotUsed) { DumpRenamedAst.hs:31:25 })
                    {Name: a})))))
               (L
                (SrcSpanAnn (EpAnnNotUsed) { DumpRenamedAst.hs:31:27 })
                (HsTyVar
                 (EpAnnNotUsed)
                 (NotPromoted)
                 (L
                  (SrcSpanAnn (EpAnnNotUsed) { DumpRenamedAst.hs:31:27 })
                  {Name: b}))))))))]
         []
         (Nothing))))])]
   []
   []
   []
   []
   []
   []
   []
   [])
  [(L
    (SrcSpanAnn (EpAnnNotUsed) { DumpRenamedAst.hs:5:8-21 })
    (ImportDecl
     (NoExtField)
     (NoSourceText)
     (L
      { DumpRenamedAst.hs:5:8-21 }
      {ModuleName: Prelude})
     (Nothing)
     (NotBoot)
     (False)
     (NotQualified)
     (True)
     (Nothing)
     (Nothing)))
  ,(L
    (SrcSpanAnn (EpAnnNotUsed) { DumpRenamedAst.hs:6:1-16 })
    (ImportDecl
     (NoExtField)
     (NoSourceText)
     (L
      { DumpRenamedAst.hs:6:8-16 }
      {ModuleName: Data.Kind})
     (Nothing)
     (NotBoot)
     (False)
     (NotQualified)
     (False)
     (Nothing)
     (Nothing)))
  ,(L
    (SrcSpanAnn (EpAnnNotUsed) { DumpRenamedAst.hs:8:1-23 })
    (ImportDecl
     (NoExtField)
     (NoSourceText)
     (L
      { DumpRenamedAst.hs:8:8-16 }
      {ModuleName: Data.Kind})
     (Nothing)
     (NotBoot)
     (False)
     (NotQualified)
     (False)
     (Nothing)
     (Just
      ((,)
       (False)
       (L
        (SrcSpanAnn (EpAnn
                     (Anchor
                      { DumpRenamedAst.hs:8:18-23 }
                      (UnchangedAnchor))
                     (AnnList
                      (Nothing)
                      (Just
                       (AddEpAnn AnnOpenP (AR { DumpRenamedAst.hs:8:18 })))
                      (Just
                       (AddEpAnn AnnCloseP (AR { DumpRenamedAst.hs:8:23 })))
                      []
                      [])
                     (EpaComments
                      [])) { DumpRenamedAst.hs:8:18-23 })
        [(L
          (SrcSpanAnn (EpAnnNotUsed) { DumpRenamedAst.hs:8:19-22 })
          (IEThingAbs
           (EpAnnNotUsed)
           (L
            (SrcSpanAnn (EpAnnNotUsed) { DumpRenamedAst.hs:8:19-22 })
            (IEName
             (L
              (SrcSpanAnn (EpAnnNotUsed) { DumpRenamedAst.hs:8:19-22 })
              {Name: GHC.Types.Type})))))])))))]
  (Nothing)
  (Nothing)))