ParseOk
  ( Module
      SrcSpanInfo
        { srcInfoSpan =
            SrcSpan "tests/examples/EqualityConstraints1.hs" 2 1 6 1
        , srcInfoPoints =
            [ SrcSpan "tests/examples/EqualityConstraints1.hs" 2 1 2 1
            , SrcSpan "tests/examples/EqualityConstraints1.hs" 4 1 4 1
            , SrcSpan "tests/examples/EqualityConstraints1.hs" 4 1 4 1
            , SrcSpan "tests/examples/EqualityConstraints1.hs" 4 1 4 1
            , SrcSpan "tests/examples/EqualityConstraints1.hs" 5 1 5 1
            , SrcSpan "tests/examples/EqualityConstraints1.hs" 6 1 6 1
            , SrcSpan "tests/examples/EqualityConstraints1.hs" 6 1 6 1
            ]
        }
      Nothing
      [ LanguagePragma
          SrcSpanInfo
            { srcInfoSpan =
                SrcSpan "tests/examples/EqualityConstraints1.hs" 2 1 2 23
            , srcInfoPoints =
                [ SrcSpan "tests/examples/EqualityConstraints1.hs" 2 1 2 13
                , SrcSpan "tests/examples/EqualityConstraints1.hs" 2 20 2 23
                ]
            }
          [ Ident
              SrcSpanInfo
                { srcInfoSpan =
                    SrcSpan "tests/examples/EqualityConstraints1.hs" 2 14 2 19
                , srcInfoPoints = []
                }
              "GADTs"
          ]
      ]
      []
      [ TypeSig
          SrcSpanInfo
            { srcInfoSpan =
                SrcSpan "tests/examples/EqualityConstraints1.hs" 4 1 4 20
            , srcInfoPoints =
                [ SrcSpan "tests/examples/EqualityConstraints1.hs" 4 5 4 7 ]
            }
          [ Ident
              SrcSpanInfo
                { srcInfoSpan =
                    SrcSpan "tests/examples/EqualityConstraints1.hs" 4 1 4 4
                , srcInfoPoints = []
                }
              "one"
          ]
          (TyForall
             SrcSpanInfo
               { srcInfoSpan =
                   SrcSpan "tests/examples/EqualityConstraints1.hs" 4 8 4 20
               , srcInfoPoints = []
               }
             Nothing
             (Just
                (CxSingle
                   SrcSpanInfo
                     { srcInfoSpan =
                         SrcSpan "tests/examples/EqualityConstraints1.hs" 4 8 4 18
                     , srcInfoPoints =
                         [ SrcSpan "tests/examples/EqualityConstraints1.hs" 4 16 4 18 ]
                     }
                   (EqualP
                      SrcSpanInfo
                        { srcInfoSpan =
                            SrcSpan "tests/examples/EqualityConstraints1.hs" 4 8 4 15
                        , srcInfoPoints =
                            [ SrcSpan "tests/examples/EqualityConstraints1.hs" 4 10 4 11 ]
                        }
                      (TyVar
                         SrcSpanInfo
                           { srcInfoSpan =
                               SrcSpan "tests/examples/EqualityConstraints1.hs" 4 8 4 9
                           , srcInfoPoints = []
                           }
                         (Ident
                            SrcSpanInfo
                              { srcInfoSpan =
                                  SrcSpan "tests/examples/EqualityConstraints1.hs" 4 8 4 9
                              , srcInfoPoints = []
                              }
                            "a"))
                      (TyCon
                         SrcSpanInfo
                           { srcInfoSpan =
                               SrcSpan "tests/examples/EqualityConstraints1.hs" 4 12 4 15
                           , srcInfoPoints = []
                           }
                         (UnQual
                            SrcSpanInfo
                              { srcInfoSpan =
                                  SrcSpan "tests/examples/EqualityConstraints1.hs" 4 12 4 15
                              , srcInfoPoints = []
                              }
                            (Ident
                               SrcSpanInfo
                                 { srcInfoSpan =
                                     SrcSpan "tests/examples/EqualityConstraints1.hs" 4 12 4 15
                                 , srcInfoPoints = []
                                 }
                               "Int"))))))
             (TyVar
                SrcSpanInfo
                  { srcInfoSpan =
                      SrcSpan "tests/examples/EqualityConstraints1.hs" 4 19 4 20
                  , srcInfoPoints = []
                  }
                (Ident
                   SrcSpanInfo
                     { srcInfoSpan =
                         SrcSpan "tests/examples/EqualityConstraints1.hs" 4 19 4 20
                     , srcInfoPoints = []
                     }
                   "a")))
      , PatBind
          SrcSpanInfo
            { srcInfoSpan =
                SrcSpan "tests/examples/EqualityConstraints1.hs" 5 1 5 8
            , srcInfoPoints = []
            }
          (PVar
             SrcSpanInfo
               { srcInfoSpan =
                   SrcSpan "tests/examples/EqualityConstraints1.hs" 5 1 5 4
               , srcInfoPoints = []
               }
             (Ident
                SrcSpanInfo
                  { srcInfoSpan =
                      SrcSpan "tests/examples/EqualityConstraints1.hs" 5 1 5 4
                  , srcInfoPoints = []
                  }
                "one"))
          (UnGuardedRhs
             SrcSpanInfo
               { srcInfoSpan =
                   SrcSpan "tests/examples/EqualityConstraints1.hs" 5 5 5 8
               , srcInfoPoints =
                   [ SrcSpan "tests/examples/EqualityConstraints1.hs" 5 5 5 6 ]
               }
             (Lit
                SrcSpanInfo
                  { srcInfoSpan =
                      SrcSpan "tests/examples/EqualityConstraints1.hs" 5 7 5 8
                  , srcInfoPoints = []
                  }
                (Int
                   SrcSpanInfo
                     { srcInfoSpan =
                         SrcSpan "tests/examples/EqualityConstraints1.hs" 5 7 5 8
                     , srcInfoPoints = []
                     }
                   1
                   "1")))
          Nothing
      ]
  , [ Comment
        False
        (SrcSpan "tests/examples/EqualityConstraints1.hs" 1 1 1 63)
        " https://github.com/haskell-suite/haskell-src-exts/issues/91"
    ]
  )