==================== 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 (FromSource) (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 (EpaComments []) [(L (SrcSpanAnn (EpAnnNotUsed) { 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)))))]))))]})] [])) [] [(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 (NoExtField) (DataType) (Nothing) (Nothing) (Nothing) [(L (SrcSpanAnn (EpAnn (Anchor { DumpRenamedAst.hs:10:14-17 } (UnchangedAnchor)) (AnnListItem [(AddVbarAnn (EpaSpan { 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 (HsPct1 (L (NoTokenLoc) (HsTok)) (L (NoTokenLoc) (HsNormalTok)))) (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)-(14,24) } (UnchangedAnchor)) (AnnListItem []) (EpaComments [])) { DumpRenamedAst.hs:(12,1)-(14,24) }) (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 (EpAnnNotUsed) (NotPromoted) (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 (EpaSpan { DumpRenamedAst.hs:12:24-25 })) ,(AddEpAnn AnnOpenP (EpaSpan { DumpRenamedAst.hs:12:20 })) ,(AddEpAnn AnnCloseP (EpaSpan { 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) (EpaSpan { DumpRenamedAst.hs:12:27 }) (EpaSpan { 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 (SrcSpanAnn (EpAnnNotUsed) { 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 (SrcSpanAnn (EpAnnNotUsed) { DumpRenamedAst.hs:16:17-33 }) (KindSig (NoExtField) (L (SrcSpanAnn (EpAnnNotUsed) { DumpRenamedAst.hs:16:20-33 }) (HsFunTy (EpAnn (Anchor { DumpRenamedAst.hs:16:20 } (UnchangedAnchor)) (NoEpAnns) (EpaComments [])) (HsUnrestrictedArrow (L (TokenLoc (EpaSpan { DumpRenamedAst.hs:16:22-23 })) (HsNormalTok))) (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)) (NoEpAnns) (EpaComments [])) (HsUnrestrictedArrow (L (TokenLoc (EpaSpan { DumpRenamedAst.hs:16:27-28 })) (HsNormalTok))) (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 (EpaSpan { 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)) (NoEpAnns) (EpaComments [])) (HsUnrestrictedArrow (L (TokenLoc (EpaSpan { DumpRenamedAst.hs:19:30-31 })) (HsNormalTok))) (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 (NoExtField) (NewType) (Nothing) (Nothing) (Just (L (SrcSpanAnn (EpAnnNotUsed) { DumpRenamedAst.hs:19:42-60 }) (HsFunTy (EpAnn (Anchor { DumpRenamedAst.hs:19:42-52 } (UnchangedAnchor)) (NoEpAnns) (EpaComments [])) (HsUnrestrictedArrow (L (TokenLoc (EpaSpan { DumpRenamedAst.hs:19:54-55 })) (HsNormalTok))) (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)) (NoEpAnns) (EpaComments [])) (HsUnrestrictedArrow (L (TokenLoc (EpaSpan { DumpRenamedAst.hs:19:45-46 })) (HsNormalTok))) (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 (TokenLoc (EpaSpan { DumpRenamedAst.hs:20:7-8 })) (HsNormalTok)) (L (SrcSpanAnn (EpAnnNotUsed) { DumpRenamedAst.hs:20:10-45 }) (HsOuterImplicit [{Name: f} ,{Name: g}])) (Nothing) (PrefixConGADT [(HsScaled (HsUnrestrictedArrow (L (TokenLoc (EpaSpan { DumpRenamedAst.hs:20:36-37 })) (HsNormalTok))) (L (SrcSpanAnn (EpAnn (Anchor { DumpRenamedAst.hs:20:10-34 } (UnchangedAnchor)) (AnnListItem []) (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)) (NoEpAnns) (EpaComments [])) (HsUnrestrictedArrow (L (TokenLoc (EpaSpan { DumpRenamedAst.hs:20:27-28 })) (HsNormalTok))) (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 (EpaSpan { DumpRenamedAst.hs:22:13-14 })) ,(AddEpAnn AnnOpenP (EpaSpan { DumpRenamedAst.hs:22:10 })) ,(AddEpAnn AnnCloseP (EpaSpan { 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 (NoExtField) (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 (HsPct1 (L (NoTokenLoc) (HsTok)) (L (NoTokenLoc) (HsNormalTok)))) (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)-(25,30) } (UnchangedAnchor)) (AnnListItem []) (EpaComments [])) { DumpRenamedAst.hs:(24,1)-(25,30) }) (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 (EpaSpan { DumpRenamedAst.hs:24:19-20 })) ,(AddEpAnn AnnOpenP (EpaSpan { DumpRenamedAst.hs:24:16 })) ,(AddEpAnn AnnCloseP (EpaSpan { 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 (EpaSpan { DumpRenamedAst.hs:24:28-29 })) ,(AddEpAnn AnnOpenP (EpaSpan { DumpRenamedAst.hs:24:25 })) ,(AddEpAnn AnnCloseP (EpaSpan { 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)) (NoEpAnns) (EpaComments [])) (HsUnrestrictedArrow (L (TokenLoc (EpaSpan { DumpRenamedAst.hs:24:33-34 })) (HsNormalTok))) (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 (SrcSpanAnn (EpAnnNotUsed) { 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 (SrcSpanAnn (EpAnnNotUsed) { }) (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) (EpaSpan { DumpRenamedAst.hs:30:12 }) (EpaSpan { 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 (EpaSpan { 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) (EpaSpan { DumpRenamedAst.hs:31:10 }) (EpaSpan { 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 (XImportDeclPass (EpAnnNotUsed) (NoSourceText) (True)) (L (SrcSpanAnn (EpAnnNotUsed) { DumpRenamedAst.hs:5:8-21 }) {ModuleName: Prelude}) (NoPkgQual) (NotBoot) (False) (NotQualified) (Nothing) (Nothing))) ,(L (SrcSpanAnn (EpAnnNotUsed) { DumpRenamedAst.hs:6:1-16 }) (ImportDecl (XImportDeclPass (EpAnn (Anchor { DumpRenamedAst.hs:6:1-6 } (UnchangedAnchor)) (EpAnnImportDecl (EpaSpan { DumpRenamedAst.hs:6:1-6 }) (Nothing) (Nothing) (Nothing) (Nothing) (Nothing)) (EpaComments [])) (NoSourceText) (False)) (L (SrcSpanAnn (EpAnnNotUsed) { DumpRenamedAst.hs:6:8-16 }) {ModuleName: Data.Kind}) (NoPkgQual) (NotBoot) (False) (NotQualified) (Nothing) (Nothing))) ,(L (SrcSpanAnn (EpAnnNotUsed) { DumpRenamedAst.hs:8:1-23 }) (ImportDecl (XImportDeclPass (EpAnn (Anchor { DumpRenamedAst.hs:8:1-6 } (UnchangedAnchor)) (EpAnnImportDecl (EpaSpan { DumpRenamedAst.hs:8:1-6 }) (Nothing) (Nothing) (Nothing) (Nothing) (Nothing)) (EpaComments [])) (NoSourceText) (False)) (L (SrcSpanAnn (EpAnnNotUsed) { DumpRenamedAst.hs:8:8-16 }) {ModuleName: Data.Kind}) (NoPkgQual) (NotBoot) (False) (NotQualified) (Nothing) (Just ((,) (Exactly) (L (SrcSpanAnn (EpAnn (Anchor { DumpRenamedAst.hs:8:18-23 } (UnchangedAnchor)) (AnnList (Nothing) (Just (AddEpAnn AnnOpenP (EpaSpan { DumpRenamedAst.hs:8:18 }))) (Just (AddEpAnn AnnCloseP (EpaSpan { 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 (NoExtField) (L (SrcSpanAnn (EpAnnNotUsed) { DumpRenamedAst.hs:8:19-22 }) {Name: GHC.Types.Type})))))])))))] (Nothing) (Nothing)))