ParseOk
  ( Module
      SrcSpanInfo
        { srcInfoSpan = SrcSpan "tests/examples/TySplice.hs" 1 1 5 1
        , srcInfoPoints =
            [ SrcSpan "tests/examples/TySplice.hs" 1 1 1 1
            , SrcSpan "tests/examples/TySplice.hs" 3 1 3 1
            , SrcSpan "tests/examples/TySplice.hs" 3 1 3 1
            , SrcSpan "tests/examples/TySplice.hs" 3 1 3 1
            , SrcSpan "tests/examples/TySplice.hs" 4 1 4 1
            , SrcSpan "tests/examples/TySplice.hs" 5 1 5 1
            , SrcSpan "tests/examples/TySplice.hs" 5 1 5 1
            ]
        }
      Nothing
      [ LanguagePragma
          SrcSpanInfo
            { srcInfoSpan = SrcSpan "tests/examples/TySplice.hs" 1 1 1 33
            , srcInfoPoints =
                [ SrcSpan "tests/examples/TySplice.hs" 1 1 1 13
                , SrcSpan "tests/examples/TySplice.hs" 1 30 1 33
                ]
            }
          [ Ident
              SrcSpanInfo
                { srcInfoSpan = SrcSpan "tests/examples/TySplice.hs" 1 14 1 29
                , srcInfoPoints = []
                }
              "TemplateHaskell"
          ]
      ]
      []
      [ SpliceDecl
          SrcSpanInfo
            { srcInfoSpan = SrcSpan "tests/examples/TySplice.hs" 3 1 3 15
            , srcInfoPoints =
                [ SrcSpan "tests/examples/TySplice.hs" 3 1 3 3
                , SrcSpan "tests/examples/TySplice.hs" 3 13 3 15
                ]
            }
          (BracketExp
             SrcSpanInfo
               { srcInfoSpan = SrcSpan "tests/examples/TySplice.hs" 3 1 3 15
               , srcInfoPoints =
                   [ SrcSpan "tests/examples/TySplice.hs" 3 1 3 3
                   , SrcSpan "tests/examples/TySplice.hs" 3 13 3 15
                   ]
               }
             (ExpBracket
                SrcSpanInfo
                  { srcInfoSpan = SrcSpan "tests/examples/TySplice.hs" 3 1 3 15
                  , srcInfoPoints =
                      [ SrcSpan "tests/examples/TySplice.hs" 3 1 3 3
                      , SrcSpan "tests/examples/TySplice.hs" 3 13 3 15
                      ]
                  }
                (ExpTypeSig
                   SrcSpanInfo
                     { srcInfoSpan = SrcSpan "tests/examples/TySplice.hs" 3 4 3 12
                     , srcInfoPoints = [ SrcSpan "tests/examples/TySplice.hs" 3 6 3 8 ]
                     }
                   (Var
                      SrcSpanInfo
                        { srcInfoSpan = SrcSpan "tests/examples/TySplice.hs" 3 4 3 5
                        , srcInfoPoints = []
                        }
                      (UnQual
                         SrcSpanInfo
                           { srcInfoSpan = SrcSpan "tests/examples/TySplice.hs" 3 4 3 5
                           , srcInfoPoints = []
                           }
                         (Ident
                            SrcSpanInfo
                              { srcInfoSpan = SrcSpan "tests/examples/TySplice.hs" 3 4 3 5
                              , srcInfoPoints = []
                              }
                            "f")))
                   (TySplice
                      SrcSpanInfo
                        { srcInfoSpan = SrcSpan "tests/examples/TySplice.hs" 3 9 3 12
                        , srcInfoPoints = []
                        }
                      (IdSplice
                         SrcSpanInfo
                           { srcInfoSpan = SrcSpan "tests/examples/TySplice.hs" 3 9 3 12
                           , srcInfoPoints = []
                           }
                         "ty")))))
      , SpliceDecl
          SrcSpanInfo
            { srcInfoSpan = SrcSpan "tests/examples/TySplice.hs" 4 1 4 21
            , srcInfoPoints =
                [ SrcSpan "tests/examples/TySplice.hs" 4 1 4 3
                , SrcSpan "tests/examples/TySplice.hs" 4 19 4 21
                ]
            }
          (BracketExp
             SrcSpanInfo
               { srcInfoSpan = SrcSpan "tests/examples/TySplice.hs" 4 1 4 21
               , srcInfoPoints =
                   [ SrcSpan "tests/examples/TySplice.hs" 4 1 4 3
                   , SrcSpan "tests/examples/TySplice.hs" 4 19 4 21
                   ]
               }
             (ExpBracket
                SrcSpanInfo
                  { srcInfoSpan = SrcSpan "tests/examples/TySplice.hs" 4 1 4 21
                  , srcInfoPoints =
                      [ SrcSpan "tests/examples/TySplice.hs" 4 1 4 3
                      , SrcSpan "tests/examples/TySplice.hs" 4 19 4 21
                      ]
                  }
                (ExpTypeSig
                   SrcSpanInfo
                     { srcInfoSpan = SrcSpan "tests/examples/TySplice.hs" 4 4 4 18
                     , srcInfoPoints = [ SrcSpan "tests/examples/TySplice.hs" 4 6 4 8 ]
                     }
                   (Var
                      SrcSpanInfo
                        { srcInfoSpan = SrcSpan "tests/examples/TySplice.hs" 4 4 4 5
                        , srcInfoPoints = []
                        }
                      (UnQual
                         SrcSpanInfo
                           { srcInfoSpan = SrcSpan "tests/examples/TySplice.hs" 4 4 4 5
                           , srcInfoPoints = []
                           }
                         (Ident
                            SrcSpanInfo
                              { srcInfoSpan = SrcSpan "tests/examples/TySplice.hs" 4 4 4 5
                              , srcInfoPoints = []
                              }
                            "f")))
                   (TySplice
                      SrcSpanInfo
                        { srcInfoSpan = SrcSpan "tests/examples/TySplice.hs" 4 9 4 18
                        , srcInfoPoints =
                            [ SrcSpan "tests/examples/TySplice.hs" 4 9 4 11
                            , SrcSpan "tests/examples/TySplice.hs" 4 17 4 18
                            ]
                        }
                      (ParenSplice
                         SrcSpanInfo
                           { srcInfoSpan = SrcSpan "tests/examples/TySplice.hs" 4 9 4 18
                           , srcInfoPoints =
                               [ SrcSpan "tests/examples/TySplice.hs" 4 9 4 11
                               , SrcSpan "tests/examples/TySplice.hs" 4 17 4 18
                               ]
                           }
                         (App
                            SrcSpanInfo
                              { srcInfoSpan = SrcSpan "tests/examples/TySplice.hs" 4 11 4 17
                              , srcInfoPoints = []
                              }
                            (Var
                               SrcSpanInfo
                                 { srcInfoSpan = SrcSpan "tests/examples/TySplice.hs" 4 11 4 14
                                 , srcInfoPoints = []
                                 }
                               (UnQual
                                  SrcSpanInfo
                                    { srcInfoSpan = SrcSpan "tests/examples/TySplice.hs" 4 11 4 14
                                    , srcInfoPoints = []
                                    }
                                  (Ident
                                     SrcSpanInfo
                                       { srcInfoSpan =
                                           SrcSpan "tests/examples/TySplice.hs" 4 11 4 14
                                       , srcInfoPoints = []
                                       }
                                     "fun")))
                            (Var
                               SrcSpanInfo
                                 { srcInfoSpan = SrcSpan "tests/examples/TySplice.hs" 4 15 4 17
                                 , srcInfoPoints = []
                                 }
                               (UnQual
                                  SrcSpanInfo
                                    { srcInfoSpan = SrcSpan "tests/examples/TySplice.hs" 4 15 4 17
                                    , srcInfoPoints = []
                                    }
                                  (Ident
                                     SrcSpanInfo
                                       { srcInfoSpan =
                                           SrcSpan "tests/examples/TySplice.hs" 4 15 4 17
                                       , srcInfoPoints = []
                                       }
                                     "ty")))))))))
      ]
  , []
  )