ParseOk
  ( Module
      SrcSpanInfo
        { srcInfoSpan = SrcSpan "tests/examples/TypeListCons.hs" 1 1 8 1
        , srcInfoPoints =
            [ SrcSpan "tests/examples/TypeListCons.hs" 1 1 1 1
            , SrcSpan "tests/examples/TypeListCons.hs" 3 1 3 1
            , SrcSpan "tests/examples/TypeListCons.hs" 3 1 3 1
            , SrcSpan "tests/examples/TypeListCons.hs" 5 1 5 1
            , SrcSpan "tests/examples/TypeListCons.hs" 6 1 6 1
            , SrcSpan "tests/examples/TypeListCons.hs" 7 1 7 1
            , SrcSpan "tests/examples/TypeListCons.hs" 8 1 8 1
            , SrcSpan "tests/examples/TypeListCons.hs" 8 1 8 1
            ]
        }
      (Just
         (ModuleHead
            SrcSpanInfo
              { srcInfoSpan = SrcSpan "tests/examples/TypeListCons.hs" 3 1 3 26
              , srcInfoPoints =
                  [ SrcSpan "tests/examples/TypeListCons.hs" 3 1 3 7
                  , SrcSpan "tests/examples/TypeListCons.hs" 3 21 3 26
                  ]
              }
            (ModuleName
               SrcSpanInfo
                 { srcInfoSpan = SrcSpan "tests/examples/TypeListCons.hs" 3 8 3 20
                 , srcInfoPoints = []
                 }
               "TypeListCons")
            Nothing
            Nothing))
      [ LanguagePragma
          SrcSpanInfo
            { srcInfoSpan = SrcSpan "tests/examples/TypeListCons.hs" 1 1 1 42
            , srcInfoPoints =
                [ SrcSpan "tests/examples/TypeListCons.hs" 1 1 1 13
                , SrcSpan "tests/examples/TypeListCons.hs" 1 23 1 24
                , SrcSpan "tests/examples/TypeListCons.hs" 1 39 1 42
                ]
            }
          [ Ident
              SrcSpanInfo
                { srcInfoSpan = SrcSpan "tests/examples/TypeListCons.hs" 1 14 1 23
                , srcInfoPoints = []
                }
              "DataKinds"
          , Ident
              SrcSpanInfo
                { srcInfoSpan = SrcSpan "tests/examples/TypeListCons.hs" 1 25 1 38
                , srcInfoPoints = []
                }
              "TypeOperators"
          ]
      ]
      []
      [ TypeDecl
          SrcSpanInfo
            { srcInfoSpan = SrcSpan "tests/examples/TypeListCons.hs" 5 1 5 24
            , srcInfoPoints =
                [ SrcSpan "tests/examples/TypeListCons.hs" 5 1 5 5
                , SrcSpan "tests/examples/TypeListCons.hs" 5 14 5 15
                ]
            }
          (DHApp
             SrcSpanInfo
               { srcInfoSpan = SrcSpan "tests/examples/TypeListCons.hs" 5 6 5 13
               , srcInfoPoints = []
               }
             (DHead
                SrcSpanInfo
                  { srcInfoSpan = SrcSpan "tests/examples/TypeListCons.hs" 5 6 5 11
                  , srcInfoPoints = []
                  }
                (Ident
                   SrcSpanInfo
                     { srcInfoSpan = SrcSpan "tests/examples/TypeListCons.hs" 5 6 5 11
                     , srcInfoPoints = []
                     }
                   "List1"))
             (UnkindedVar
                SrcSpanInfo
                  { srcInfoSpan = SrcSpan "tests/examples/TypeListCons.hs" 5 12 5 13
                  , srcInfoPoints = []
                  }
                (Ident
                   SrcSpanInfo
                     { srcInfoSpan = SrcSpan "tests/examples/TypeListCons.hs" 5 12 5 13
                     , srcInfoPoints = []
                     }
                   "a")))
          (TyApp
             SrcSpanInfo
               { srcInfoSpan = SrcSpan "tests/examples/TypeListCons.hs" 5 16 5 24
               , srcInfoPoints = []
               }
             (TyApp
                SrcSpanInfo
                  { srcInfoSpan = SrcSpan "tests/examples/TypeListCons.hs" 5 16 5 20
                  , srcInfoPoints = []
                  }
                (TyVar
                   SrcSpanInfo
                     { srcInfoSpan = SrcSpan "tests/examples/TypeListCons.hs" 5 16 5 17
                     , srcInfoPoints = []
                     }
                   (Ident
                      SrcSpanInfo
                        { srcInfoSpan = SrcSpan "tests/examples/TypeListCons.hs" 5 16 5 17
                        , srcInfoPoints = []
                        }
                      "a"))
                (TyPromoted
                   SrcSpanInfo
                     { srcInfoSpan = SrcSpan "tests/examples/TypeListCons.hs" 5 18 5 20
                     , srcInfoPoints =
                         [ SrcSpan "tests/examples/TypeListCons.hs" 5 18 5 19 ]
                     }
                   (PromotedCon
                      SrcSpanInfo
                        { srcInfoSpan = SrcSpan "tests/examples/TypeListCons.hs" 5 18 5 20
                        , srcInfoPoints =
                            [ SrcSpan "tests/examples/TypeListCons.hs" 5 18 5 19 ]
                        }
                      True
                      (Special
                         SrcSpanInfo
                           { srcInfoSpan = SrcSpan "tests/examples/TypeListCons.hs" 5 19 5 20
                           , srcInfoPoints = []
                           }
                         (Cons
                            SrcSpanInfo
                              { srcInfoSpan = SrcSpan "tests/examples/TypeListCons.hs" 5 19 5 20
                              , srcInfoPoints = []
                              })))))
             (TyPromoted
                SrcSpanInfo
                  { srcInfoSpan = SrcSpan "tests/examples/TypeListCons.hs" 5 21 5 24
                  , srcInfoPoints =
                      [ SrcSpan "tests/examples/TypeListCons.hs" 5 21 5 22
                      , SrcSpan "tests/examples/TypeListCons.hs" 5 23 5 24
                      ]
                  }
                (PromotedList
                   SrcSpanInfo
                     { srcInfoSpan = SrcSpan "tests/examples/TypeListCons.hs" 5 21 5 24
                     , srcInfoPoints =
                         [ SrcSpan "tests/examples/TypeListCons.hs" 5 21 5 22
                         , SrcSpan "tests/examples/TypeListCons.hs" 5 23 5 24
                         ]
                     }
                   True
                   [])))
      , TypeDecl
          SrcSpanInfo
            { srcInfoSpan = SrcSpan "tests/examples/TypeListCons.hs" 6 1 6 26
            , srcInfoPoints =
                [ SrcSpan "tests/examples/TypeListCons.hs" 6 1 6 5
                , SrcSpan "tests/examples/TypeListCons.hs" 6 16 6 17
                ]
            }
          (DHApp
             SrcSpanInfo
               { srcInfoSpan = SrcSpan "tests/examples/TypeListCons.hs" 6 6 6 15
               , srcInfoPoints = []
               }
             (DHApp
                SrcSpanInfo
                  { srcInfoSpan = SrcSpan "tests/examples/TypeListCons.hs" 6 6 6 13
                  , srcInfoPoints = []
                  }
                (DHead
                   SrcSpanInfo
                     { srcInfoSpan = SrcSpan "tests/examples/TypeListCons.hs" 6 6 6 11
                     , srcInfoPoints = []
                     }
                   (Ident
                      SrcSpanInfo
                        { srcInfoSpan = SrcSpan "tests/examples/TypeListCons.hs" 6 6 6 11
                        , srcInfoPoints = []
                        }
                      "List2"))
                (UnkindedVar
                   SrcSpanInfo
                     { srcInfoSpan = SrcSpan "tests/examples/TypeListCons.hs" 6 12 6 13
                     , srcInfoPoints = []
                     }
                   (Ident
                      SrcSpanInfo
                        { srcInfoSpan = SrcSpan "tests/examples/TypeListCons.hs" 6 12 6 13
                        , srcInfoPoints = []
                        }
                      "a")))
             (UnkindedVar
                SrcSpanInfo
                  { srcInfoSpan = SrcSpan "tests/examples/TypeListCons.hs" 6 14 6 15
                  , srcInfoPoints = []
                  }
                (Ident
                   SrcSpanInfo
                     { srcInfoSpan = SrcSpan "tests/examples/TypeListCons.hs" 6 14 6 15
                     , srcInfoPoints = []
                     }
                   "b")))
          (TyApp
             SrcSpanInfo
               { srcInfoSpan = SrcSpan "tests/examples/TypeListCons.hs" 6 18 6 26
               , srcInfoPoints = []
               }
             (TyApp
                SrcSpanInfo
                  { srcInfoSpan = SrcSpan "tests/examples/TypeListCons.hs" 6 18 6 22
                  , srcInfoPoints = []
                  }
                (TyVar
                   SrcSpanInfo
                     { srcInfoSpan = SrcSpan "tests/examples/TypeListCons.hs" 6 18 6 19
                     , srcInfoPoints = []
                     }
                   (Ident
                      SrcSpanInfo
                        { srcInfoSpan = SrcSpan "tests/examples/TypeListCons.hs" 6 18 6 19
                        , srcInfoPoints = []
                        }
                      "a"))
                (TyPromoted
                   SrcSpanInfo
                     { srcInfoSpan = SrcSpan "tests/examples/TypeListCons.hs" 6 20 6 22
                     , srcInfoPoints =
                         [ SrcSpan "tests/examples/TypeListCons.hs" 6 20 6 21 ]
                     }
                   (PromotedCon
                      SrcSpanInfo
                        { srcInfoSpan = SrcSpan "tests/examples/TypeListCons.hs" 6 20 6 22
                        , srcInfoPoints =
                            [ SrcSpan "tests/examples/TypeListCons.hs" 6 20 6 21 ]
                        }
                      True
                      (Special
                         SrcSpanInfo
                           { srcInfoSpan = SrcSpan "tests/examples/TypeListCons.hs" 6 21 6 22
                           , srcInfoPoints = []
                           }
                         (Cons
                            SrcSpanInfo
                              { srcInfoSpan = SrcSpan "tests/examples/TypeListCons.hs" 6 21 6 22
                              , srcInfoPoints = []
                              })))))
             (TyPromoted
                SrcSpanInfo
                  { srcInfoSpan = SrcSpan "tests/examples/TypeListCons.hs" 6 23 6 26
                  , srcInfoPoints =
                      [ SrcSpan "tests/examples/TypeListCons.hs" 6 23 6 24
                      , SrcSpan "tests/examples/TypeListCons.hs" 6 25 6 26
                      ]
                  }
                (PromotedList
                   SrcSpanInfo
                     { srcInfoSpan = SrcSpan "tests/examples/TypeListCons.hs" 6 23 6 26
                     , srcInfoPoints =
                         [ SrcSpan "tests/examples/TypeListCons.hs" 6 23 6 24
                         , SrcSpan "tests/examples/TypeListCons.hs" 6 25 6 26
                         ]
                     }
                   True
                   [])))
      , TypeDecl
          SrcSpanInfo
            { srcInfoSpan = SrcSpan "tests/examples/TypeListCons.hs" 7 1 7 38
            , srcInfoPoints =
                [ SrcSpan "tests/examples/TypeListCons.hs" 7 1 7 5
                , SrcSpan "tests/examples/TypeListCons.hs" 7 18 7 19
                ]
            }
          (DHApp
             SrcSpanInfo
               { srcInfoSpan = SrcSpan "tests/examples/TypeListCons.hs" 7 6 7 17
               , srcInfoPoints = []
               }
             (DHApp
                SrcSpanInfo
                  { srcInfoSpan = SrcSpan "tests/examples/TypeListCons.hs" 7 6 7 15
                  , srcInfoPoints = []
                  }
                (DHApp
                   SrcSpanInfo
                     { srcInfoSpan = SrcSpan "tests/examples/TypeListCons.hs" 7 6 7 13
                     , srcInfoPoints = []
                     }
                   (DHead
                      SrcSpanInfo
                        { srcInfoSpan = SrcSpan "tests/examples/TypeListCons.hs" 7 6 7 11
                        , srcInfoPoints = []
                        }
                      (Ident
                         SrcSpanInfo
                           { srcInfoSpan = SrcSpan "tests/examples/TypeListCons.hs" 7 6 7 11
                           , srcInfoPoints = []
                           }
                         "List3"))
                   (UnkindedVar
                      SrcSpanInfo
                        { srcInfoSpan = SrcSpan "tests/examples/TypeListCons.hs" 7 12 7 13
                        , srcInfoPoints = []
                        }
                      (Ident
                         SrcSpanInfo
                           { srcInfoSpan = SrcSpan "tests/examples/TypeListCons.hs" 7 12 7 13
                           , srcInfoPoints = []
                           }
                         "a")))
                (UnkindedVar
                   SrcSpanInfo
                     { srcInfoSpan = SrcSpan "tests/examples/TypeListCons.hs" 7 14 7 15
                     , srcInfoPoints = []
                     }
                   (Ident
                      SrcSpanInfo
                        { srcInfoSpan = SrcSpan "tests/examples/TypeListCons.hs" 7 14 7 15
                        , srcInfoPoints = []
                        }
                      "b")))
             (UnkindedVar
                SrcSpanInfo
                  { srcInfoSpan = SrcSpan "tests/examples/TypeListCons.hs" 7 16 7 17
                  , srcInfoPoints = []
                  }
                (Ident
                   SrcSpanInfo
                     { srcInfoSpan = SrcSpan "tests/examples/TypeListCons.hs" 7 16 7 17
                     , srcInfoPoints = []
                     }
                   "c")))
          (TyApp
             SrcSpanInfo
               { srcInfoSpan = SrcSpan "tests/examples/TypeListCons.hs" 7 20 7 38
               , srcInfoPoints = []
               }
             (TyApp
                SrcSpanInfo
                  { srcInfoSpan = SrcSpan "tests/examples/TypeListCons.hs" 7 20 7 34
                  , srcInfoPoints = []
                  }
                (TyApp
                   SrcSpanInfo
                     { srcInfoSpan = SrcSpan "tests/examples/TypeListCons.hs" 7 20 7 31
                     , srcInfoPoints = []
                     }
                   (TyApp
                      SrcSpanInfo
                        { srcInfoSpan = SrcSpan "tests/examples/TypeListCons.hs" 7 20 7 29
                        , srcInfoPoints = []
                        }
                      (TyApp
                         SrcSpanInfo
                           { srcInfoSpan = SrcSpan "tests/examples/TypeListCons.hs" 7 20 7 26
                           , srcInfoPoints = []
                           }
                         (TyApp
                            SrcSpanInfo
                              { srcInfoSpan = SrcSpan "tests/examples/TypeListCons.hs" 7 20 7 24
                              , srcInfoPoints = []
                              }
                            (TyVar
                               SrcSpanInfo
                                 { srcInfoSpan = SrcSpan "tests/examples/TypeListCons.hs" 7 20 7 21
                                 , srcInfoPoints = []
                                 }
                               (Ident
                                  SrcSpanInfo
                                    { srcInfoSpan =
                                        SrcSpan "tests/examples/TypeListCons.hs" 7 20 7 21
                                    , srcInfoPoints = []
                                    }
                                  "a"))
                            (TyPromoted
                               SrcSpanInfo
                                 { srcInfoSpan = SrcSpan "tests/examples/TypeListCons.hs" 7 22 7 24
                                 , srcInfoPoints =
                                     [ SrcSpan "tests/examples/TypeListCons.hs" 7 22 7 23 ]
                                 }
                               (PromotedCon
                                  SrcSpanInfo
                                    { srcInfoSpan =
                                        SrcSpan "tests/examples/TypeListCons.hs" 7 22 7 24
                                    , srcInfoPoints =
                                        [ SrcSpan "tests/examples/TypeListCons.hs" 7 22 7 23 ]
                                    }
                                  True
                                  (Special
                                     SrcSpanInfo
                                       { srcInfoSpan =
                                           SrcSpan "tests/examples/TypeListCons.hs" 7 23 7 24
                                       , srcInfoPoints = []
                                       }
                                     (Cons
                                        SrcSpanInfo
                                          { srcInfoSpan =
                                              SrcSpan "tests/examples/TypeListCons.hs" 7 23 7 24
                                          , srcInfoPoints = []
                                          })))))
                         (TyVar
                            SrcSpanInfo
                              { srcInfoSpan = SrcSpan "tests/examples/TypeListCons.hs" 7 25 7 26
                              , srcInfoPoints = []
                              }
                            (Ident
                               SrcSpanInfo
                                 { srcInfoSpan = SrcSpan "tests/examples/TypeListCons.hs" 7 25 7 26
                                 , srcInfoPoints = []
                                 }
                               "b")))
                      (TyPromoted
                         SrcSpanInfo
                           { srcInfoSpan = SrcSpan "tests/examples/TypeListCons.hs" 7 27 7 29
                           , srcInfoPoints =
                               [ SrcSpan "tests/examples/TypeListCons.hs" 7 27 7 28 ]
                           }
                         (PromotedCon
                            SrcSpanInfo
                              { srcInfoSpan = SrcSpan "tests/examples/TypeListCons.hs" 7 27 7 29
                              , srcInfoPoints =
                                  [ SrcSpan "tests/examples/TypeListCons.hs" 7 27 7 28 ]
                              }
                            True
                            (Special
                               SrcSpanInfo
                                 { srcInfoSpan = SrcSpan "tests/examples/TypeListCons.hs" 7 28 7 29
                                 , srcInfoPoints = []
                                 }
                               (Cons
                                  SrcSpanInfo
                                    { srcInfoSpan =
                                        SrcSpan "tests/examples/TypeListCons.hs" 7 28 7 29
                                    , srcInfoPoints = []
                                    })))))
                   (TyVar
                      SrcSpanInfo
                        { srcInfoSpan = SrcSpan "tests/examples/TypeListCons.hs" 7 30 7 31
                        , srcInfoPoints = []
                        }
                      (Ident
                         SrcSpanInfo
                           { srcInfoSpan = SrcSpan "tests/examples/TypeListCons.hs" 7 30 7 31
                           , srcInfoPoints = []
                           }
                         "c")))
                (TyPromoted
                   SrcSpanInfo
                     { srcInfoSpan = SrcSpan "tests/examples/TypeListCons.hs" 7 32 7 34
                     , srcInfoPoints =
                         [ SrcSpan "tests/examples/TypeListCons.hs" 7 32 7 33 ]
                     }
                   (PromotedCon
                      SrcSpanInfo
                        { srcInfoSpan = SrcSpan "tests/examples/TypeListCons.hs" 7 32 7 34
                        , srcInfoPoints =
                            [ SrcSpan "tests/examples/TypeListCons.hs" 7 32 7 33 ]
                        }
                      True
                      (Special
                         SrcSpanInfo
                           { srcInfoSpan = SrcSpan "tests/examples/TypeListCons.hs" 7 33 7 34
                           , srcInfoPoints = []
                           }
                         (Cons
                            SrcSpanInfo
                              { srcInfoSpan = SrcSpan "tests/examples/TypeListCons.hs" 7 33 7 34
                              , srcInfoPoints = []
                              })))))
             (TyPromoted
                SrcSpanInfo
                  { srcInfoSpan = SrcSpan "tests/examples/TypeListCons.hs" 7 35 7 38
                  , srcInfoPoints =
                      [ SrcSpan "tests/examples/TypeListCons.hs" 7 35 7 36
                      , SrcSpan "tests/examples/TypeListCons.hs" 7 37 7 38
                      ]
                  }
                (PromotedList
                   SrcSpanInfo
                     { srcInfoSpan = SrcSpan "tests/examples/TypeListCons.hs" 7 35 7 38
                     , srcInfoPoints =
                         [ SrcSpan "tests/examples/TypeListCons.hs" 7 35 7 36
                         , SrcSpan "tests/examples/TypeListCons.hs" 7 37 7 38
                         ]
                     }
                   True
                   [])))
      ]
  , []
  )