==================== Typechecker AST ====================

{Bag(Located (HsBind Var)):
 [({ <no location info> }
   (VarBind
    (NoExtField)
    {Var: DumpTypecheckedAst.$tcT}
    ({ <no location info> }
     (HsApp
      (NoExtField)
      ({ <no location info> }
       (HsApp
        (NoExtField)
        ({ <no location info> }
         (HsApp
          (NoExtField)
          ({ <no location info> }
           (HsApp
            (NoExtField)
            ({ <no location info> }
             (HsApp
              (NoExtField)
              ({ <no location info> }
               (HsApp
                (NoExtField)
                ({ <no location info> }
                 (HsConLikeOut
                  (NoExtField)
                  ({abstract:ConLike})))
                ({ <no location info> }
                 (HsLit
                  (NoExtField)
                  {HsWord{64}Prim (1374752024144278257) (NoSourceText)}))))
              ({ <no location info> }
               (HsLit
                (NoExtField)
                {HsWord{64}Prim (13654949607623281177) (NoSourceText)}))))
            ({ <no location info> }
             (HsVar
              (NoExtField)
              ({ <no location info> }
               {Var: DumpTypecheckedAst.$trModule})))))
          ({ <no location info> }
           (HsPar
            (NoExtField)
            ({ <no location info> }
             (HsApp
              (NoExtField)
              ({ <no location info> }
               (HsConLikeOut
                (NoExtField)
                ({abstract:ConLike})))
              ({ <no location info> }
               (HsLit
                (NoExtField)
                (HsStringPrim
                 (NoSourceText)
                 "T")))))))))
        ({ <no location info> }
         (HsLit
          (NoExtField)
          {HsInt{64}Prim (1) (SourceText
                              "1")}))))
      ({ <no location info> }
       (HsVar
        (NoExtField)
        ({ <no location info> }
         {Var: $krep})))))))
 ,({ <no location info> }
   (VarBind
    (NoExtField)
    {Var: DumpTypecheckedAst.$tc'MkT}
    ({ <no location info> }
     (HsApp
      (NoExtField)
      ({ <no location info> }
       (HsApp
        (NoExtField)
        ({ <no location info> }
         (HsApp
          (NoExtField)
          ({ <no location info> }
           (HsApp
            (NoExtField)
            ({ <no location info> }
             (HsApp
              (NoExtField)
              ({ <no location info> }
               (HsApp
                (NoExtField)
                ({ <no location info> }
                 (HsConLikeOut
                  (NoExtField)
                  ({abstract:ConLike})))
                ({ <no location info> }
                 (HsLit
                  (NoExtField)
                  {HsWord{64}Prim (10715337633704422415) (NoSourceText)}))))
              ({ <no location info> }
               (HsLit
                (NoExtField)
                {HsWord{64}Prim (12411373583424111944) (NoSourceText)}))))
            ({ <no location info> }
             (HsVar
              (NoExtField)
              ({ <no location info> }
               {Var: DumpTypecheckedAst.$trModule})))))
          ({ <no location info> }
           (HsPar
            (NoExtField)
            ({ <no location info> }
             (HsApp
              (NoExtField)
              ({ <no location info> }
               (HsConLikeOut
                (NoExtField)
                ({abstract:ConLike})))
              ({ <no location info> }
               (HsLit
                (NoExtField)
                (HsStringPrim
                 (NoSourceText)
                 "'MkT")))))))))
        ({ <no location info> }
         (HsLit
          (NoExtField)
          {HsInt{64}Prim (3) (SourceText
                              "3")}))))
      ({ <no location info> }
       (HsVar
        (NoExtField)
        ({ <no location info> }
         {Var: $krep})))))))
 ,({ <no location info> }
   (VarBind
    (NoExtField)
    {Var: DumpTypecheckedAst.$tcPeano}
    ({ <no location info> }
     (HsApp
      (NoExtField)
      ({ <no location info> }
       (HsApp
        (NoExtField)
        ({ <no location info> }
         (HsApp
          (NoExtField)
          ({ <no location info> }
           (HsApp
            (NoExtField)
            ({ <no location info> }
             (HsApp
              (NoExtField)
              ({ <no location info> }
               (HsApp
                (NoExtField)
                ({ <no location info> }
                 (HsConLikeOut
                  (NoExtField)
                  ({abstract:ConLike})))
                ({ <no location info> }
                 (HsLit
                  (NoExtField)
                  {HsWord{64}Prim (14073232900889011755) (NoSourceText)}))))
              ({ <no location info> }
               (HsLit
                (NoExtField)
                {HsWord{64}Prim (2739668351064589274) (NoSourceText)}))))
            ({ <no location info> }
             (HsVar
              (NoExtField)
              ({ <no location info> }
               {Var: DumpTypecheckedAst.$trModule})))))
          ({ <no location info> }
           (HsPar
            (NoExtField)
            ({ <no location info> }
             (HsApp
              (NoExtField)
              ({ <no location info> }
               (HsConLikeOut
                (NoExtField)
                ({abstract:ConLike})))
              ({ <no location info> }
               (HsLit
                (NoExtField)
                (HsStringPrim
                 (NoSourceText)
                 "Peano")))))))))
        ({ <no location info> }
         (HsLit
          (NoExtField)
          {HsInt{64}Prim (0) (SourceText
                              "0")}))))
      ({ <no location info> }
       (HsVar
        (NoExtField)
        ({ <no location info> }
         {Var: GHC.Types.krep$*})))))))
 ,({ <no location info> }
   (VarBind
    (NoExtField)
    {Var: DumpTypecheckedAst.$tc'Zero}
    ({ <no location info> }
     (HsApp
      (NoExtField)
      ({ <no location info> }
       (HsApp
        (NoExtField)
        ({ <no location info> }
         (HsApp
          (NoExtField)
          ({ <no location info> }
           (HsApp
            (NoExtField)
            ({ <no location info> }
             (HsApp
              (NoExtField)
              ({ <no location info> }
               (HsApp
                (NoExtField)
                ({ <no location info> }
                 (HsConLikeOut
                  (NoExtField)
                  ({abstract:ConLike})))
                ({ <no location info> }
                 (HsLit
                  (NoExtField)
                  {HsWord{64}Prim (13760111476013868540) (NoSourceText)}))))
              ({ <no location info> }
               (HsLit
                (NoExtField)
                {HsWord{64}Prim (12314848029315386153) (NoSourceText)}))))
            ({ <no location info> }
             (HsVar
              (NoExtField)
              ({ <no location info> }
               {Var: DumpTypecheckedAst.$trModule})))))
          ({ <no location info> }
           (HsPar
            (NoExtField)
            ({ <no location info> }
             (HsApp
              (NoExtField)
              ({ <no location info> }
               (HsConLikeOut
                (NoExtField)
                ({abstract:ConLike})))
              ({ <no location info> }
               (HsLit
                (NoExtField)
                (HsStringPrim
                 (NoSourceText)
                 "'Zero")))))))))
        ({ <no location info> }
         (HsLit
          (NoExtField)
          {HsInt{64}Prim (0) (SourceText
                              "0")}))))
      ({ <no location info> }
       (HsVar
        (NoExtField)
        ({ <no location info> }
         {Var: $krep})))))))
 ,({ <no location info> }
   (VarBind
    (NoExtField)
    {Var: DumpTypecheckedAst.$tc'Succ}
    ({ <no location info> }
     (HsApp
      (NoExtField)
      ({ <no location info> }
       (HsApp
        (NoExtField)
        ({ <no location info> }
         (HsApp
          (NoExtField)
          ({ <no location info> }
           (HsApp
            (NoExtField)
            ({ <no location info> }
             (HsApp
              (NoExtField)
              ({ <no location info> }
               (HsApp
                (NoExtField)
                ({ <no location info> }
                 (HsConLikeOut
                  (NoExtField)
                  ({abstract:ConLike})))
                ({ <no location info> }
                 (HsLit
                  (NoExtField)
                  {HsWord{64}Prim (1143980031331647856) (NoSourceText)}))))
              ({ <no location info> }
               (HsLit
                (NoExtField)
                {HsWord{64}Prim (14802086722010293686) (NoSourceText)}))))
            ({ <no location info> }
             (HsVar
              (NoExtField)
              ({ <no location info> }
               {Var: DumpTypecheckedAst.$trModule})))))
          ({ <no location info> }
           (HsPar
            (NoExtField)
            ({ <no location info> }
             (HsApp
              (NoExtField)
              ({ <no location info> }
               (HsConLikeOut
                (NoExtField)
                ({abstract:ConLike})))
              ({ <no location info> }
               (HsLit
                (NoExtField)
                (HsStringPrim
                 (NoSourceText)
                 "'Succ")))))))))
        ({ <no location info> }
         (HsLit
          (NoExtField)
          {HsInt{64}Prim (0) (SourceText
                              "0")}))))
      ({ <no location info> }
       (HsVar
        (NoExtField)
        ({ <no location info> }
         {Var: $krep})))))))
 ,({ <no location info> }
   (VarBind
    (NoExtField)
    {Var: $krep}
    ({ <no location info> }
     (HsApp
      (NoExtField)
      ({ <no location info> }
       (HsConLikeOut
        (NoExtField)
        ({abstract:ConLike})))
      ({ <no location info> }
       (HsLit
        (NoExtField)
        (HsInt
         (NoExtField)
         (IL
          (SourceText
           "2")
          (False)
          (2)))))))))
 ,({ <no location info> }
   (VarBind
    (NoExtField)
    {Var: $krep}
    ({ <no location info> }
     (HsApp
      (NoExtField)
      ({ <no location info> }
       (HsConLikeOut
        (NoExtField)
        ({abstract:ConLike})))
      ({ <no location info> }
       (HsLit
        (NoExtField)
        (HsInt
         (NoExtField)
         (IL
          (SourceText
           "1")
          (False)
          (1)))))))))
 ,({ <no location info> }
   (VarBind
    (NoExtField)
    {Var: $krep}
    ({ <no location info> }
     (HsApp
      (NoExtField)
      ({ <no location info> }
       (HsConLikeOut
        (NoExtField)
        ({abstract:ConLike})))
      ({ <no location info> }
       (HsLit
        (NoExtField)
        (HsInt
         (NoExtField)
         (IL
          (SourceText
           "0")
          (False)
          (0)))))))))
 ,({ <no location info> }
   (VarBind
    (NoExtField)
    {Var: $krep}
    ({ <no location info> }
     (HsApp
      (NoExtField)
      ({ <no location info> }
       (HsApp
        (NoExtField)
        ({ <no location info> }
         (HsConLikeOut
          (NoExtField)
          ({abstract:ConLike})))
        ({ <no location info> }
         (HsVar
          (NoExtField)
          ({ <no location info> }
           {Var: $krep})))))
      ({ <no location info> }
       (HsVar
        (NoExtField)
        ({ <no location info> }
         {Var: $krep})))))))
 ,({ <no location info> }
   (VarBind
    (NoExtField)
    {Var: $krep}
    ({ <no location info> }
     (HsApp
      (NoExtField)
      ({ <no location info> }
       (HsApp
        (NoExtField)
        ({ <no location info> }
         (HsConLikeOut
          (NoExtField)
          ({abstract:ConLike})))
        ({ <no location info> }
         (HsVar
          (NoExtField)
          ({ <no location info> }
           {Var: $krep})))))
      ({ <no location info> }
       (HsVar
        (NoExtField)
        ({ <no location info> }
         {Var: GHC.Types.krep$*})))))))
 ,({ <no location info> }
   (VarBind
    (NoExtField)
    {Var: $krep}
    ({ <no location info> }
     (HsApp
      (NoExtField)
      ({ <no location info> }
       (HsApp
        (NoExtField)
        ({ <no location info> }
         (HsConLikeOut
          (NoExtField)
          ({abstract:ConLike})))
        ({ <no location info> }
         (HsVar
          (NoExtField)
          ({ <no location info> }
           {Var: $krep})))))
      ({ <no location info> }
       (HsVar
        (NoExtField)
        ({ <no location info> }
         {Var: $krep})))))))
 ,({ <no location info> }
   (VarBind
    (NoExtField)
    {Var: $krep}
    ({ <no location info> }
     (HsApp
      (NoExtField)
      ({ <no location info> }
       (HsApp
        (NoExtField)
        ({ <no location info> }
         (HsConLikeOut
          (NoExtField)
          ({abstract:ConLike})))
        ({ <no location info> }
         (HsVar
          (NoExtField)
          ({ <no location info> }
           {Var: $krep})))))
      ({ <no location info> }
       (HsVar
        (NoExtField)
        ({ <no location info> }
         {Var: $krep})))))))
 ,({ <no location info> }
   (VarBind
    (NoExtField)
    {Var: $krep}
    ({ <no location info> }
     (HsApp
      (NoExtField)
      ({ <no location info> }
       (HsApp
        (NoExtField)
        ({ <no location info> }
         (HsConLikeOut
          (NoExtField)
          ({abstract:ConLike})))
        ({ <no location info> }
         (HsVar
          (NoExtField)
          ({ <no location info> }
           {Var: $krep})))))
      ({ <no location info> }
       (HsVar
        (NoExtField)
        ({ <no location info> }
         {Var: $krep})))))))
 ,({ <no location info> }
   (VarBind
    (NoExtField)
    {Var: $krep}
    ({ <no location info> }
     (HsApp
      (NoExtField)
      ({ <no location info> }
       (HsApp
        (NoExtField)
        ({ <no location info> }
         (HsConLikeOut
          (NoExtField)
          ({abstract:ConLike})))
        ({ <no location info> }
         (HsVar
          (NoExtField)
          ({ <no location info> }
           {Var: DumpTypecheckedAst.$tcT})))))
      ({ <no location info> }
       (HsPar
        (NoExtField)
        ({ <no location info> }
         (HsApp
          (NoExtField)
          ({ <no location info> }
           (HsApp
            (NoExtField)
            ({ <no location info> }
             (XExpr
              (WrapExpr
               (HsWrap
                (WpTyApp
                 (TyConApp
                  ({abstract:TyCon})
                  []))
                (HsConLikeOut
                 (NoExtField)
                 ({abstract:ConLike}))))))
            ({ <no location info> }
             (HsVar
              (NoExtField)
              ({ <no location info> }
               {Var: $krep})))))
          ({ <no location info> }
           (HsPar
            (NoExtField)
            ({ <no location info> }
             (HsApp
              (NoExtField)
              ({ <no location info> }
               (HsApp
                (NoExtField)
                ({ <no location info> }
                 (XExpr
                  (WrapExpr
                   (HsWrap
                    (WpTyApp
                     (TyConApp
                      ({abstract:TyCon})
                      []))
                    (HsConLikeOut
                     (NoExtField)
                     ({abstract:ConLike}))))))
                ({ <no location info> }
                 (HsVar
                  (NoExtField)
                  ({ <no location info> }
                   {Var: $krep})))))
              ({ <no location info> }
               (HsPar
                (NoExtField)
                ({ <no location info> }
                 (HsApp
                  (NoExtField)
                  ({ <no location info> }
                   (HsApp
                    (NoExtField)
                    ({ <no location info> }
                     (XExpr
                      (WrapExpr
                       (HsWrap
                        (WpTyApp
                         (TyConApp
                          ({abstract:TyCon})
                          []))
                        (HsConLikeOut
                         (NoExtField)
                         ({abstract:ConLike}))))))
                    ({ <no location info> }
                     (HsVar
                      (NoExtField)
                      ({ <no location info> }
                       {Var: $krep})))))
                  ({ <no location info> }
                   (XExpr
                    (WrapExpr
                     (HsWrap
                      (WpTyApp
                       (TyConApp
                        ({abstract:TyCon})
                        []))
                      (HsConLikeOut
                       (NoExtField)
                       ({abstract:ConLike}))))))))))))))))))))))
 ,({ <no location info> }
   (VarBind
    (NoExtField)
    {Var: $krep}
    ({ <no location info> }
     (HsApp
      (NoExtField)
      ({ <no location info> }
       (HsApp
        (NoExtField)
        ({ <no location info> }
         (HsConLikeOut
          (NoExtField)
          ({abstract:ConLike})))
        ({ <no location info> }
         (HsVar
          (NoExtField)
          ({ <no location info> }
           {Var: DumpTypecheckedAst.$tcPeano})))))
      ({ <no location info> }
       (XExpr
        (WrapExpr
         (HsWrap
          (WpTyApp
           (TyConApp
            ({abstract:TyCon})
            []))
          (HsConLikeOut
           (NoExtField)
           ({abstract:ConLike}))))))))))
 ,({ <no location info> }
   (VarBind
    (NoExtField)
    {Var: DumpTypecheckedAst.$trModule}
    ({ <no location info> }
     (HsApp
      (NoExtField)
      ({ <no location info> }
       (HsApp
        (NoExtField)
        ({ <no location info> }
         (HsConLikeOut
          (NoExtField)
          ({abstract:ConLike})))
        ({ <no location info> }
         (HsPar
          (NoExtField)
          ({ <no location info> }
           (HsApp
            (NoExtField)
            ({ <no location info> }
             (HsConLikeOut
              (NoExtField)
              ({abstract:ConLike})))
            ({ <no location info> }
             (HsLit
              (NoExtField)
              (HsStringPrim
               (NoSourceText)
               "main")))))))))
      ({ <no location info> }
       (HsPar
        (NoExtField)
        ({ <no location info> }
         (HsApp
          (NoExtField)
          ({ <no location info> }
           (HsConLikeOut
            (NoExtField)
            ({abstract:ConLike})))
          ({ <no location info> }
           (HsLit
            (NoExtField)
            (HsStringPrim
             (NoSourceText)
             "DumpTypecheckedAst")))))))))))
 ,({ DumpTypecheckedAst.hs:18:1-23 }
   (AbsBinds
    (NoExtField)
    []
    []
    [(ABE
      (NoExtField)
      {Var: main}
      {Var: main}
      (WpHole)
      (SpecPrags
       []))]
    [({abstract:TcEvBinds})]
    {Bag(Located (HsBind Var)):
     [({ DumpTypecheckedAst.hs:18:1-23 }
       (FunBind
        (WpHole)
        ({ DumpTypecheckedAst.hs:18:1-4 }
         {Var: main})
        (MG
         (MatchGroupTc
          []
          (TyConApp
           ({abstract:TyCon})
           [(TyConApp
             ({abstract:TyCon})
             [])]))
         ({ DumpTypecheckedAst.hs:18:1-23 }
          [({ DumpTypecheckedAst.hs:18:1-23 }
            (Match
             (NoExtField)
             (FunRhs
              ({ DumpTypecheckedAst.hs:18:1-4 }
               {Name: main})
              (Prefix)
              (NoSrcStrict))
             []
             (GRHSs
              (NoExtField)
              [({ DumpTypecheckedAst.hs:18:6-23 }
                (GRHS
                 (NoExtField)
                 []
                 ({ DumpTypecheckedAst.hs:18:8-23 }
                  (HsApp
                   (NoExtField)
                   ({ DumpTypecheckedAst.hs:18:8-15 }
                    (HsVar
                     (NoExtField)
                     ({ <no location info> }
                      {Var: putStrLn})))
                   ({ DumpTypecheckedAst.hs:18:17-23 }
                    (HsLit
                     (NoExtField)
                     (HsString
                      (SourceText
                       "\"hello\"")
                      {FastString: "hello"})))))))]
              ({ <no location info> }
               (EmptyLocalBinds
                (NoExtField))))))])
         (FromSource))
        []))]}
    (False)))]}