ParseOk
  ( Module
      SrcSpanInfo
        { srcInfoSpan = SrcSpan "tests/examples/DataKinds2.hs" 1 1 10 1
        , srcInfoPoints =
            [ SrcSpan "tests/examples/DataKinds2.hs" 1 1 1 1
            , SrcSpan "tests/examples/DataKinds2.hs" 3 1 3 1
            , SrcSpan "tests/examples/DataKinds2.hs" 3 1 3 1
            , SrcSpan "tests/examples/DataKinds2.hs" 3 1 3 1
            , SrcSpan "tests/examples/DataKinds2.hs" 5 1 5 1
            , SrcSpan "tests/examples/DataKinds2.hs" 7 1 7 1
            , SrcSpan "tests/examples/DataKinds2.hs" 9 1 9 1
            , SrcSpan "tests/examples/DataKinds2.hs" 10 1 10 1
            , SrcSpan "tests/examples/DataKinds2.hs" 10 1 10 1
            ]
        }
      Nothing
      [ LanguagePragma
          SrcSpanInfo
            { srcInfoSpan = SrcSpan "tests/examples/DataKinds2.hs" 1 1 1 27
            , srcInfoPoints =
                [ SrcSpan "tests/examples/DataKinds2.hs" 1 1 1 13
                , SrcSpan "tests/examples/DataKinds2.hs" 1 24 1 27
                ]
            }
          [ Ident
              SrcSpanInfo
                { srcInfoSpan = SrcSpan "tests/examples/DataKinds2.hs" 1 14 1 23
                , srcInfoPoints = []
                }
              "DataKinds"
          ]
      ]
      []
      [ DataDecl
          SrcSpanInfo
            { srcInfoSpan = SrcSpan "tests/examples/DataKinds2.hs" 3 1 3 17
            , srcInfoPoints =
                [ SrcSpan "tests/examples/DataKinds2.hs" 3 12 3 13 ]
            }
          (DataType
             SrcSpanInfo
               { srcInfoSpan = SrcSpan "tests/examples/DataKinds2.hs" 3 1 3 5
               , srcInfoPoints = []
               })
          Nothing
          (DHApp
             SrcSpanInfo
               { srcInfoSpan = SrcSpan "tests/examples/DataKinds2.hs" 3 6 3 11
               , srcInfoPoints = []
               }
             (DHead
                SrcSpanInfo
                  { srcInfoSpan = SrcSpan "tests/examples/DataKinds2.hs" 3 6 3 9
                  , srcInfoPoints = []
                  }
                (Ident
                   SrcSpanInfo
                     { srcInfoSpan = SrcSpan "tests/examples/DataKinds2.hs" 3 6 3 9
                     , srcInfoPoints = []
                     }
                   "Foo"))
             (UnkindedVar
                SrcSpanInfo
                  { srcInfoSpan = SrcSpan "tests/examples/DataKinds2.hs" 3 10 3 11
                  , srcInfoPoints = []
                  }
                (Ident
                   SrcSpanInfo
                     { srcInfoSpan = SrcSpan "tests/examples/DataKinds2.hs" 3 10 3 11
                     , srcInfoPoints = []
                     }
                   "a")))
          [ QualConDecl
              SrcSpanInfo
                { srcInfoSpan = SrcSpan "tests/examples/DataKinds2.hs" 3 14 3 17
                , srcInfoPoints = []
                }
              Nothing
              Nothing
              (ConDecl
                 SrcSpanInfo
                   { srcInfoSpan = SrcSpan "tests/examples/DataKinds2.hs" 3 14 3 17
                   , srcInfoPoints = []
                   }
                 (Ident
                    SrcSpanInfo
                      { srcInfoSpan = SrcSpan "tests/examples/DataKinds2.hs" 3 14 3 17
                      , srcInfoPoints = []
                      }
                    "Foo")
                 [])
          ]
          []
      , TypeDecl
          SrcSpanInfo
            { srcInfoSpan = SrcSpan "tests/examples/DataKinds2.hs" 5 1 5 20
            , srcInfoPoints =
                [ SrcSpan "tests/examples/DataKinds2.hs" 5 1 5 5
                , SrcSpan "tests/examples/DataKinds2.hs" 5 11 5 12
                ]
            }
          (DHead
             SrcSpanInfo
               { srcInfoSpan = SrcSpan "tests/examples/DataKinds2.hs" 5 6 5 10
               , srcInfoPoints = []
               }
             (Ident
                SrcSpanInfo
                  { srcInfoSpan = SrcSpan "tests/examples/DataKinds2.hs" 5 6 5 10
                  , srcInfoPoints = []
                  }
                "FooB"))
          (TyApp
             SrcSpanInfo
               { srcInfoSpan = SrcSpan "tests/examples/DataKinds2.hs" 5 13 5 20
               , srcInfoPoints = []
               }
             (TyCon
                SrcSpanInfo
                  { srcInfoSpan = SrcSpan "tests/examples/DataKinds2.hs" 5 13 5 16
                  , srcInfoPoints = []
                  }
                (UnQual
                   SrcSpanInfo
                     { srcInfoSpan = SrcSpan "tests/examples/DataKinds2.hs" 5 13 5 16
                     , srcInfoPoints = []
                     }
                   (Ident
                      SrcSpanInfo
                        { srcInfoSpan = SrcSpan "tests/examples/DataKinds2.hs" 5 13 5 16
                        , srcInfoPoints = []
                        }
                      "Foo")))
             (TyPromoted
                SrcSpanInfo
                  { srcInfoSpan = SrcSpan "tests/examples/DataKinds2.hs" 5 17 5 20
                  , srcInfoPoints = []
                  }
                (PromotedString
                   SrcSpanInfo
                     { srcInfoSpan = SrcSpan "tests/examples/DataKinds2.hs" 5 17 5 20
                     , srcInfoPoints = []
                     }
                   "a"
                   "a")))
      , TypeDecl
          SrcSpanInfo
            { srcInfoSpan = SrcSpan "tests/examples/DataKinds2.hs" 7 1 7 18
            , srcInfoPoints =
                [ SrcSpan "tests/examples/DataKinds2.hs" 7 1 7 5
                , SrcSpan "tests/examples/DataKinds2.hs" 7 11 7 12
                ]
            }
          (DHead
             SrcSpanInfo
               { srcInfoSpan = SrcSpan "tests/examples/DataKinds2.hs" 7 6 7 10
               , srcInfoPoints = []
               }
             (Ident
                SrcSpanInfo
                  { srcInfoSpan = SrcSpan "tests/examples/DataKinds2.hs" 7 6 7 10
                  , srcInfoPoints = []
                  }
                "FooC"))
          (TyApp
             SrcSpanInfo
               { srcInfoSpan = SrcSpan "tests/examples/DataKinds2.hs" 7 13 7 18
               , srcInfoPoints = []
               }
             (TyCon
                SrcSpanInfo
                  { srcInfoSpan = SrcSpan "tests/examples/DataKinds2.hs" 7 13 7 16
                  , srcInfoPoints = []
                  }
                (UnQual
                   SrcSpanInfo
                     { srcInfoSpan = SrcSpan "tests/examples/DataKinds2.hs" 7 13 7 16
                     , srcInfoPoints = []
                     }
                   (Ident
                      SrcSpanInfo
                        { srcInfoSpan = SrcSpan "tests/examples/DataKinds2.hs" 7 13 7 16
                        , srcInfoPoints = []
                        }
                      "Foo")))
             (TyPromoted
                SrcSpanInfo
                  { srcInfoSpan = SrcSpan "tests/examples/DataKinds2.hs" 7 17 7 18
                  , srcInfoPoints = []
                  }
                (PromotedInteger
                   SrcSpanInfo
                     { srcInfoSpan = SrcSpan "tests/examples/DataKinds2.hs" 7 17 7 18
                     , srcInfoPoints = []
                     }
                   1
                   "1")))
      , InstDecl
          SrcSpanInfo
            { srcInfoSpan = SrcSpan "tests/examples/DataKinds2.hs" 9 1 10 0
            , srcInfoPoints =
                [ SrcSpan "tests/examples/DataKinds2.hs" 9 1 9 9
                , SrcSpan "tests/examples/DataKinds2.hs" 9 27 9 32
                , SrcSpan "tests/examples/DataKinds2.hs" 10 1 10 1
                , SrcSpan "tests/examples/DataKinds2.hs" 10 1 10 1
                , SrcSpan "tests/examples/DataKinds2.hs" 10 0 10 0
                ]
            }
          Nothing
          (IRule
             SrcSpanInfo
               { srcInfoSpan = SrcSpan "tests/examples/DataKinds2.hs" 9 10 9 26
               , srcInfoPoints = []
               }
             Nothing
             Nothing
             (IHApp
                SrcSpanInfo
                  { srcInfoSpan = SrcSpan "tests/examples/DataKinds2.hs" 9 10 9 26
                  , srcInfoPoints = []
                  }
                (IHCon
                   SrcSpanInfo
                     { srcInfoSpan = SrcSpan "tests/examples/DataKinds2.hs" 9 10 9 14
                     , srcInfoPoints = []
                     }
                   (UnQual
                      SrcSpanInfo
                        { srcInfoSpan = SrcSpan "tests/examples/DataKinds2.hs" 9 10 9 14
                        , srcInfoPoints = []
                        }
                      (Ident
                         SrcSpanInfo
                           { srcInfoSpan = SrcSpan "tests/examples/DataKinds2.hs" 9 10 9 14
                           , srcInfoPoints = []
                           }
                         "Show")))
                (TyParen
                   SrcSpanInfo
                     { srcInfoSpan = SrcSpan "tests/examples/DataKinds2.hs" 9 15 9 26
                     , srcInfoPoints =
                         [ SrcSpan "tests/examples/DataKinds2.hs" 9 15 9 16
                         , SrcSpan "tests/examples/DataKinds2.hs" 9 25 9 26
                         ]
                     }
                   (TyApp
                      SrcSpanInfo
                        { srcInfoSpan = SrcSpan "tests/examples/DataKinds2.hs" 9 16 9 25
                        , srcInfoPoints = []
                        }
                      (TyCon
                         SrcSpanInfo
                           { srcInfoSpan = SrcSpan "tests/examples/DataKinds2.hs" 9 16 9 19
                           , srcInfoPoints = []
                           }
                         (UnQual
                            SrcSpanInfo
                              { srcInfoSpan = SrcSpan "tests/examples/DataKinds2.hs" 9 16 9 19
                              , srcInfoPoints = []
                              }
                            (Ident
                               SrcSpanInfo
                                 { srcInfoSpan = SrcSpan "tests/examples/DataKinds2.hs" 9 16 9 19
                                 , srcInfoPoints = []
                                 }
                               "Foo")))
                      (TyPromoted
                         SrcSpanInfo
                           { srcInfoSpan = SrcSpan "tests/examples/DataKinds2.hs" 9 20 9 25
                           , srcInfoPoints = []
                           }
                         (PromotedString
                            SrcSpanInfo
                              { srcInfoSpan = SrcSpan "tests/examples/DataKinds2.hs" 9 20 9 25
                              , srcInfoPoints = []
                              }
                            "bar"
                            "bar"))))))
          (Just [])
      ]
  , []
  )