ParseOk
  ( Module
      SrcSpanInfo
        { srcInfoSpan = SrcSpan "tests/examples/StarInType.hs" 1 1 6 1
        , srcInfoPoints =
            [ SrcSpan "tests/examples/StarInType.hs" 1 1 1 1
            , SrcSpan "tests/examples/StarInType.hs" 2 1 2 1
            , SrcSpan "tests/examples/StarInType.hs" 2 1 2 1
            , SrcSpan "tests/examples/StarInType.hs" 2 1 2 1
            , SrcSpan "tests/examples/StarInType.hs" 3 1 3 1
            , SrcSpan "tests/examples/StarInType.hs" 4 1 4 1
            , SrcSpan "tests/examples/StarInType.hs" 5 1 5 1
            , SrcSpan "tests/examples/StarInType.hs" 6 1 6 1
            , SrcSpan "tests/examples/StarInType.hs" 6 1 6 1
            ]
        }
      Nothing
      [ LanguagePragma
          SrcSpanInfo
            { srcInfoSpan = SrcSpan "tests/examples/StarInType.hs" 1 1 1 47
            , srcInfoPoints =
                [ SrcSpan "tests/examples/StarInType.hs" 1 1 1 13
                , SrcSpan "tests/examples/StarInType.hs" 1 27 1 28
                , SrcSpan "tests/examples/StarInType.hs" 1 44 1 47
                ]
            }
          [ Ident
              SrcSpanInfo
                { srcInfoSpan = SrcSpan "tests/examples/StarInType.hs" 1 14 1 27
                , srcInfoPoints = []
                }
              "TypeOperators"
          , Ident
              SrcSpanInfo
                { srcInfoSpan = SrcSpan "tests/examples/StarInType.hs" 1 29 1 43
                , srcInfoPoints = []
                }
              "KindSignatures"
          ]
      ]
      []
      [ DataDecl
          SrcSpanInfo
            { srcInfoSpan = SrcSpan "tests/examples/StarInType.hs" 2 1 2 11
            , srcInfoPoints =
                [ SrcSpan "tests/examples/StarInType.hs" 2 8 2 9 ]
            }
          (DataType
             SrcSpanInfo
               { srcInfoSpan = SrcSpan "tests/examples/StarInType.hs" 2 1 2 5
               , srcInfoPoints = []
               })
          Nothing
          (DHead
             SrcSpanInfo
               { srcInfoSpan = SrcSpan "tests/examples/StarInType.hs" 2 6 2 7
               , srcInfoPoints = []
               }
             (Ident
                SrcSpanInfo
                  { srcInfoSpan = SrcSpan "tests/examples/StarInType.hs" 2 6 2 7
                  , srcInfoPoints = []
                  }
                "B"))
          [ QualConDecl
              SrcSpanInfo
                { srcInfoSpan = SrcSpan "tests/examples/StarInType.hs" 2 10 2 11
                , srcInfoPoints = []
                }
              Nothing
              Nothing
              (ConDecl
                 SrcSpanInfo
                   { srcInfoSpan = SrcSpan "tests/examples/StarInType.hs" 2 10 2 11
                   , srcInfoPoints = []
                   }
                 (Ident
                    SrcSpanInfo
                      { srcInfoSpan = SrcSpan "tests/examples/StarInType.hs" 2 10 2 11
                      , srcInfoPoints = []
                      }
                    "B")
                 [])
          ]
          []
      , DataDecl
          SrcSpanInfo
            { srcInfoSpan = SrcSpan "tests/examples/StarInType.hs" 3 1 3 17
            , srcInfoPoints =
                [ SrcSpan "tests/examples/StarInType.hs" 3 12 3 13 ]
            }
          (DataType
             SrcSpanInfo
               { srcInfoSpan = SrcSpan "tests/examples/StarInType.hs" 3 1 3 5
               , srcInfoPoints = []
               })
          Nothing
          (DHApp
             SrcSpanInfo
               { srcInfoSpan = SrcSpan "tests/examples/StarInType.hs" 3 6 3 11
               , srcInfoPoints = []
               }
             (DHInfix
                SrcSpanInfo
                  { srcInfoSpan = SrcSpan "tests/examples/StarInType.hs" 3 6 3 11
                  , srcInfoPoints = []
                  }
                (UnkindedVar
                   SrcSpanInfo
                     { srcInfoSpan = SrcSpan "tests/examples/StarInType.hs" 3 6 3 7
                     , srcInfoPoints = []
                     }
                   (Ident
                      SrcSpanInfo
                        { srcInfoSpan = SrcSpan "tests/examples/StarInType.hs" 3 6 3 7
                        , srcInfoPoints = []
                        }
                      "a"))
                (Symbol
                   SrcSpanInfo
                     { srcInfoSpan = SrcSpan "tests/examples/StarInType.hs" 3 8 3 9
                     , srcInfoPoints = []
                     }
                   "*"))
             (UnkindedVar
                SrcSpanInfo
                  { srcInfoSpan = SrcSpan "tests/examples/StarInType.hs" 3 10 3 11
                  , srcInfoPoints = []
                  }
                (Ident
                   SrcSpanInfo
                     { srcInfoSpan = SrcSpan "tests/examples/StarInType.hs" 3 10 3 11
                     , srcInfoPoints = []
                     }
                   "b")))
          [ QualConDecl
              SrcSpanInfo
                { srcInfoSpan = SrcSpan "tests/examples/StarInType.hs" 3 14 3 17
                , srcInfoPoints = []
                }
              Nothing
              Nothing
              (ConDecl
                 SrcSpanInfo
                   { srcInfoSpan = SrcSpan "tests/examples/StarInType.hs" 3 14 3 17
                   , srcInfoPoints = []
                   }
                 (Ident
                    SrcSpanInfo
                      { srcInfoSpan = SrcSpan "tests/examples/StarInType.hs" 3 14 3 17
                      , srcInfoPoints = []
                      }
                    "Foo")
                 [])
          ]
          []
      , TypeDecl
          SrcSpanInfo
            { srcInfoSpan = SrcSpan "tests/examples/StarInType.hs" 4 1 4 15
            , srcInfoPoints =
                [ SrcSpan "tests/examples/StarInType.hs" 4 1 4 5
                , SrcSpan "tests/examples/StarInType.hs" 4 8 4 9
                ]
            }
          (DHead
             SrcSpanInfo
               { srcInfoSpan = SrcSpan "tests/examples/StarInType.hs" 4 6 4 7
               , srcInfoPoints = []
               }
             (Ident
                SrcSpanInfo
                  { srcInfoSpan = SrcSpan "tests/examples/StarInType.hs" 4 6 4 7
                  , srcInfoPoints = []
                  }
                "A"))
          (TyInfix
             SrcSpanInfo
               { srcInfoSpan = SrcSpan "tests/examples/StarInType.hs" 4 10 4 15
               , srcInfoPoints = []
               }
             (TyCon
                SrcSpanInfo
                  { srcInfoSpan = SrcSpan "tests/examples/StarInType.hs" 4 10 4 11
                  , srcInfoPoints = []
                  }
                (UnQual
                   SrcSpanInfo
                     { srcInfoSpan = SrcSpan "tests/examples/StarInType.hs" 4 10 4 11
                     , srcInfoPoints = []
                     }
                   (Ident
                      SrcSpanInfo
                        { srcInfoSpan = SrcSpan "tests/examples/StarInType.hs" 4 10 4 11
                        , srcInfoPoints = []
                        }
                      "B")))
             (UnpromotedName
                SrcSpanInfo
                  { srcInfoSpan = SrcSpan "tests/examples/StarInType.hs" 4 12 4 13
                  , srcInfoPoints = []
                  }
                (UnQual
                   SrcSpanInfo
                     { srcInfoSpan = SrcSpan "tests/examples/StarInType.hs" 4 12 4 13
                     , srcInfoPoints = []
                     }
                   (Symbol
                      SrcSpanInfo
                        { srcInfoSpan = SrcSpan "tests/examples/StarInType.hs" 4 12 4 13
                        , srcInfoPoints = []
                        }
                      "*")))
             (TyCon
                SrcSpanInfo
                  { srcInfoSpan = SrcSpan "tests/examples/StarInType.hs" 4 14 4 15
                  , srcInfoPoints = []
                  }
                (UnQual
                   SrcSpanInfo
                     { srcInfoSpan = SrcSpan "tests/examples/StarInType.hs" 4 14 4 15
                     , srcInfoPoints = []
                     }
                   (Ident
                      SrcSpanInfo
                        { srcInfoSpan = SrcSpan "tests/examples/StarInType.hs" 4 14 4 15
                        , srcInfoPoints = []
                        }
                      "B"))))
      , PatBind
          SrcSpanInfo
            { srcInfoSpan = SrcSpan "tests/examples/StarInType.hs" 5 1 5 15
            , srcInfoPoints = []
            }
          (PVar
             SrcSpanInfo
               { srcInfoSpan = SrcSpan "tests/examples/StarInType.hs" 5 1 5 5
               , srcInfoPoints = []
               }
             (Ident
                SrcSpanInfo
                  { srcInfoSpan = SrcSpan "tests/examples/StarInType.hs" 5 1 5 5
                  , srcInfoPoints = []
                  }
                "main"))
          (UnGuardedRhs
             SrcSpanInfo
               { srcInfoSpan = SrcSpan "tests/examples/StarInType.hs" 5 6 5 15
               , srcInfoPoints =
                   [ SrcSpan "tests/examples/StarInType.hs" 5 6 5 7 ]
               }
             (App
                SrcSpanInfo
                  { srcInfoSpan = SrcSpan "tests/examples/StarInType.hs" 5 8 5 15
                  , srcInfoPoints = []
                  }
                (Var
                   SrcSpanInfo
                     { srcInfoSpan = SrcSpan "tests/examples/StarInType.hs" 5 8 5 13
                     , srcInfoPoints = []
                     }
                   (UnQual
                      SrcSpanInfo
                        { srcInfoSpan = SrcSpan "tests/examples/StarInType.hs" 5 8 5 13
                        , srcInfoPoints = []
                        }
                      (Ident
                         SrcSpanInfo
                           { srcInfoSpan = SrcSpan "tests/examples/StarInType.hs" 5 8 5 13
                           , srcInfoPoints = []
                           }
                         "print")))
                (Lit
                   SrcSpanInfo
                     { srcInfoSpan = SrcSpan "tests/examples/StarInType.hs" 5 14 5 15
                     , srcInfoPoints = []
                     }
                   (Int
                      SrcSpanInfo
                        { srcInfoSpan = SrcSpan "tests/examples/StarInType.hs" 5 14 5 15
                        , srcInfoPoints = []
                        }
                      1
                      "1"))))
          Nothing
      ]
  , []
  )