ParseOk
  ( Module
      SrcSpanInfo
        { srcInfoSpan = SrcSpan "tests/examples/Kadam.hs" 1 1 4 1
        , srcInfoPoints =
            [ SrcSpan "tests/examples/Kadam.hs" 1 1 1 1
            , SrcSpan "tests/examples/Kadam.hs" 3 1 3 1
            , SrcSpan "tests/examples/Kadam.hs" 3 1 3 1
            , SrcSpan "tests/examples/Kadam.hs" 3 1 3 1
            , SrcSpan "tests/examples/Kadam.hs" 4 1 4 1
            , SrcSpan "tests/examples/Kadam.hs" 4 1 4 1
            ]
        }
      Nothing
      [ LanguagePragma
          SrcSpanInfo
            { srcInfoSpan = SrcSpan "tests/examples/Kadam.hs" 1 1 1 27
            , srcInfoPoints =
                [ SrcSpan "tests/examples/Kadam.hs" 1 1 1 13
                , SrcSpan "tests/examples/Kadam.hs" 1 24 1 27
                ]
            }
          [ Ident
              SrcSpanInfo
                { srcInfoSpan = SrcSpan "tests/examples/Kadam.hs" 1 14 1 23
                , srcInfoPoints = []
                }
              "DataKinds"
          ]
      ]
      []
      [ TypeDecl
          SrcSpanInfo
            { srcInfoSpan = SrcSpan "tests/examples/Kadam.hs" 3 1 3 21
            , srcInfoPoints =
                [ SrcSpan "tests/examples/Kadam.hs" 3 1 3 5
                , SrcSpan "tests/examples/Kadam.hs" 3 15 3 16
                ]
            }
          (DHApp
             SrcSpanInfo
               { srcInfoSpan = SrcSpan "tests/examples/Kadam.hs" 3 6 3 14
               , srcInfoPoints = []
               }
             (DHead
                SrcSpanInfo
                  { srcInfoSpan = SrcSpan "tests/examples/Kadam.hs" 3 6 3 12
                  , srcInfoPoints = []
                  }
                (Ident
                   SrcSpanInfo
                     { srcInfoSpan = SrcSpan "tests/examples/Kadam.hs" 3 6 3 12
                     , srcInfoPoints = []
                     }
                   "ToList"))
             (UnkindedVar
                SrcSpanInfo
                  { srcInfoSpan = SrcSpan "tests/examples/Kadam.hs" 3 13 3 14
                  , srcInfoPoints = []
                  }
                (Ident
                   SrcSpanInfo
                     { srcInfoSpan = SrcSpan "tests/examples/Kadam.hs" 3 13 3 14
                     , srcInfoPoints = []
                     }
                   "d")))
          (TyPromoted
             SrcSpanInfo
               { srcInfoSpan = SrcSpan "tests/examples/Kadam.hs" 3 17 3 21
               , srcInfoPoints =
                   [ SrcSpan "tests/examples/Kadam.hs" 3 17 3 18
                   , SrcSpan "tests/examples/Kadam.hs" 3 20 3 21
                   ]
               }
             (PromotedList
                SrcSpanInfo
                  { srcInfoSpan = SrcSpan "tests/examples/Kadam.hs" 3 17 3 21
                  , srcInfoPoints =
                      [ SrcSpan "tests/examples/Kadam.hs" 3 17 3 18
                      , SrcSpan "tests/examples/Kadam.hs" 3 20 3 21
                      ]
                  }
                True
                [ TyVar
                    SrcSpanInfo
                      { srcInfoSpan = SrcSpan "tests/examples/Kadam.hs" 3 19 3 20
                      , srcInfoPoints = []
                      }
                    (Ident
                       SrcSpanInfo
                         { srcInfoSpan = SrcSpan "tests/examples/Kadam.hs" 3 19 3 20
                         , srcInfoPoints = []
                         }
                       "d")
                ]))
      ]
  , []
  )