ParseOk
  ( Module
      SrcSpanInfo
        { srcInfoSpan = SrcSpan "tests/examples/GadtStrictness.hs" 1 1 5 1
        , srcInfoPoints =
            [ SrcSpan "tests/examples/GadtStrictness.hs" 1 1 1 1
            , SrcSpan "tests/examples/GadtStrictness.hs" 3 1 3 1
            , SrcSpan "tests/examples/GadtStrictness.hs" 3 1 3 1
            , SrcSpan "tests/examples/GadtStrictness.hs" 3 1 3 1
            , SrcSpan "tests/examples/GadtStrictness.hs" 5 1 5 1
            , SrcSpan "tests/examples/GadtStrictness.hs" 5 1 5 1
            ]
        }
      Nothing
      [ LanguagePragma
          SrcSpanInfo
            { srcInfoSpan = SrcSpan "tests/examples/GadtStrictness.hs" 1 1 1 23
            , srcInfoPoints =
                [ SrcSpan "tests/examples/GadtStrictness.hs" 1 1 1 13
                , SrcSpan "tests/examples/GadtStrictness.hs" 1 20 1 23
                ]
            }
          [ Ident
              SrcSpanInfo
                { srcInfoSpan =
                    SrcSpan "tests/examples/GadtStrictness.hs" 1 14 1 19
                , srcInfoPoints = []
                }
              "GADTs"
          ]
      ]
      []
      [ GDataDecl
          SrcSpanInfo
            { srcInfoSpan = SrcSpan "tests/examples/GadtStrictness.hs" 3 1 5 0
            , srcInfoPoints =
                [ SrcSpan "tests/examples/GadtStrictness.hs" 3 8 3 13
                , SrcSpan "tests/examples/GadtStrictness.hs" 4 3 4 3
                , SrcSpan "tests/examples/GadtStrictness.hs" 5 1 5 0
                ]
            }
          (DataType
             SrcSpanInfo
               { srcInfoSpan = SrcSpan "tests/examples/GadtStrictness.hs" 3 1 3 5
               , srcInfoPoints = []
               })
          Nothing
          (DHead
             SrcSpanInfo
               { srcInfoSpan = SrcSpan "tests/examples/GadtStrictness.hs" 3 6 3 7
               , srcInfoPoints = []
               }
             (Ident
                SrcSpanInfo
                  { srcInfoSpan = SrcSpan "tests/examples/GadtStrictness.hs" 3 6 3 7
                  , srcInfoPoints = []
                  }
                "X"))
          Nothing
          [ GadtDecl
              SrcSpanInfo
                { srcInfoSpan = SrcSpan "tests/examples/GadtStrictness.hs" 4 3 4 17
                , srcInfoPoints =
                    [ SrcSpan "tests/examples/GadtStrictness.hs" 4 5 4 7 ]
                }
              (Ident
                 SrcSpanInfo
                   { srcInfoSpan = SrcSpan "tests/examples/GadtStrictness.hs" 4 3 4 4
                   , srcInfoPoints = []
                   }
                 "X")
              Nothing
              (TyFun
                 SrcSpanInfo
                   { srcInfoSpan = SrcSpan "tests/examples/GadtStrictness.hs" 4 8 4 17
                   , srcInfoPoints =
                       [ SrcSpan "tests/examples/GadtStrictness.hs" 4 13 4 15 ]
                   }
                 (TyBang
                    SrcSpanInfo
                      { srcInfoSpan = SrcSpan "tests/examples/GadtStrictness.hs" 4 8 4 12
                      , srcInfoPoints = []
                      }
                    (BangedTy
                       SrcSpanInfo
                         { srcInfoSpan = SrcSpan "tests/examples/GadtStrictness.hs" 4 8 4 9
                         , srcInfoPoints = []
                         })
                    (NoUnpackPragma
                       SrcSpanInfo
                         { srcInfoSpan = SrcSpan "" (-1) (-1) (-1) (-1)
                         , srcInfoPoints = []
                         })
                    (TyCon
                       SrcSpanInfo
                         { srcInfoSpan = SrcSpan "tests/examples/GadtStrictness.hs" 4 9 4 12
                         , srcInfoPoints = []
                         }
                       (UnQual
                          SrcSpanInfo
                            { srcInfoSpan = SrcSpan "tests/examples/GadtStrictness.hs" 4 9 4 12
                            , srcInfoPoints = []
                            }
                          (Ident
                             SrcSpanInfo
                               { srcInfoSpan = SrcSpan "tests/examples/GadtStrictness.hs" 4 9 4 12
                               , srcInfoPoints = []
                               }
                             "Int"))))
                 (TyCon
                    SrcSpanInfo
                      { srcInfoSpan =
                          SrcSpan "tests/examples/GadtStrictness.hs" 4 16 4 17
                      , srcInfoPoints = []
                      }
                    (UnQual
                       SrcSpanInfo
                         { srcInfoSpan =
                             SrcSpan "tests/examples/GadtStrictness.hs" 4 16 4 17
                         , srcInfoPoints = []
                         }
                       (Ident
                          SrcSpanInfo
                            { srcInfoSpan =
                                SrcSpan "tests/examples/GadtStrictness.hs" 4 16 4 17
                            , srcInfoPoints = []
                            }
                          "X"))))
          ]
          []
      ]
  , []
  )