ParseOk
  ( Module
      SrcSpanInfo
        { srcInfoSpan = SrcSpan "tests/examples/MinimalPragma.hs" 1 1 8 1
        , srcInfoPoints =
            [ SrcSpan "tests/examples/MinimalPragma.hs" 1 1 1 1
            , SrcSpan "tests/examples/MinimalPragma.hs" 1 1 1 1
            , SrcSpan "tests/examples/MinimalPragma.hs" 1 1 1 1
            , SrcSpan "tests/examples/MinimalPragma.hs" 8 1 8 1
            , SrcSpan "tests/examples/MinimalPragma.hs" 8 1 8 1
            ]
        }
      Nothing
      []
      []
      [ ClassDecl
          SrcSpanInfo
            { srcInfoSpan = SrcSpan "tests/examples/MinimalPragma.hs" 1 1 6 33
            , srcInfoPoints =
                [ SrcSpan "tests/examples/MinimalPragma.hs" 1 1 1 6
                , SrcSpan "tests/examples/MinimalPragma.hs" 1 12 1 17
                , SrcSpan "tests/examples/MinimalPragma.hs" 2 6 2 6
                , SrcSpan "tests/examples/MinimalPragma.hs" 3 6 3 6
                , SrcSpan "tests/examples/MinimalPragma.hs" 4 6 4 6
                , SrcSpan "tests/examples/MinimalPragma.hs" 5 6 5 6
                , SrcSpan "tests/examples/MinimalPragma.hs" 6 6 6 6
                , SrcSpan "tests/examples/MinimalPragma.hs" 8 1 8 0
                ]
            }
          Nothing
          (DHApp
             SrcSpanInfo
               { srcInfoSpan = SrcSpan "tests/examples/MinimalPragma.hs" 1 7 1 11
               , srcInfoPoints = []
               }
             (DHead
                SrcSpanInfo
                  { srcInfoSpan = SrcSpan "tests/examples/MinimalPragma.hs" 1 7 1 9
                  , srcInfoPoints = []
                  }
                (Ident
                   SrcSpanInfo
                     { srcInfoSpan = SrcSpan "tests/examples/MinimalPragma.hs" 1 7 1 9
                     , srcInfoPoints = []
                     }
                   "Eq"))
             (UnkindedVar
                SrcSpanInfo
                  { srcInfoSpan = SrcSpan "tests/examples/MinimalPragma.hs" 1 10 1 11
                  , srcInfoPoints = []
                  }
                (Ident
                   SrcSpanInfo
                     { srcInfoSpan = SrcSpan "tests/examples/MinimalPragma.hs" 1 10 1 11
                     , srcInfoPoints = []
                     }
                   "a")))
          []
          (Just
             [ ClsDecl
                 SrcSpanInfo
                   { srcInfoSpan = SrcSpan "tests/examples/MinimalPragma.hs" 2 6 2 28
                   , srcInfoPoints =
                       [ SrcSpan "tests/examples/MinimalPragma.hs" 2 11 2 13 ]
                   }
                 (TypeSig
                    SrcSpanInfo
                      { srcInfoSpan = SrcSpan "tests/examples/MinimalPragma.hs" 2 6 2 28
                      , srcInfoPoints =
                          [ SrcSpan "tests/examples/MinimalPragma.hs" 2 11 2 13 ]
                      }
                    [ Symbol
                        SrcSpanInfo
                          { srcInfoSpan = SrcSpan "tests/examples/MinimalPragma.hs" 2 6 2 10
                          , srcInfoPoints =
                              [ SrcSpan "tests/examples/MinimalPragma.hs" 2 6 2 7
                              , SrcSpan "tests/examples/MinimalPragma.hs" 2 7 2 9
                              , SrcSpan "tests/examples/MinimalPragma.hs" 2 9 2 10
                              ]
                          }
                        "=="
                    ]
                    (TyFun
                       SrcSpanInfo
                         { srcInfoSpan = SrcSpan "tests/examples/MinimalPragma.hs" 2 14 2 28
                         , srcInfoPoints =
                             [ SrcSpan "tests/examples/MinimalPragma.hs" 2 16 2 18 ]
                         }
                       (TyVar
                          SrcSpanInfo
                            { srcInfoSpan = SrcSpan "tests/examples/MinimalPragma.hs" 2 14 2 15
                            , srcInfoPoints = []
                            }
                          (Ident
                             SrcSpanInfo
                               { srcInfoSpan = SrcSpan "tests/examples/MinimalPragma.hs" 2 14 2 15
                               , srcInfoPoints = []
                               }
                             "a"))
                       (TyFun
                          SrcSpanInfo
                            { srcInfoSpan = SrcSpan "tests/examples/MinimalPragma.hs" 2 19 2 28
                            , srcInfoPoints =
                                [ SrcSpan "tests/examples/MinimalPragma.hs" 2 21 2 23 ]
                            }
                          (TyVar
                             SrcSpanInfo
                               { srcInfoSpan = SrcSpan "tests/examples/MinimalPragma.hs" 2 19 2 20
                               , srcInfoPoints = []
                               }
                             (Ident
                                SrcSpanInfo
                                  { srcInfoSpan =
                                      SrcSpan "tests/examples/MinimalPragma.hs" 2 19 2 20
                                  , srcInfoPoints = []
                                  }
                                "a"))
                          (TyCon
                             SrcSpanInfo
                               { srcInfoSpan = SrcSpan "tests/examples/MinimalPragma.hs" 2 24 2 28
                               , srcInfoPoints = []
                               }
                             (UnQual
                                SrcSpanInfo
                                  { srcInfoSpan =
                                      SrcSpan "tests/examples/MinimalPragma.hs" 2 24 2 28
                                  , srcInfoPoints = []
                                  }
                                (Ident
                                   SrcSpanInfo
                                     { srcInfoSpan =
                                         SrcSpan "tests/examples/MinimalPragma.hs" 2 24 2 28
                                     , srcInfoPoints = []
                                     }
                                   "Bool"))))))
             , ClsDecl
                 SrcSpanInfo
                   { srcInfoSpan = SrcSpan "tests/examples/MinimalPragma.hs" 3 6 3 28
                   , srcInfoPoints =
                       [ SrcSpan "tests/examples/MinimalPragma.hs" 3 11 3 13 ]
                   }
                 (TypeSig
                    SrcSpanInfo
                      { srcInfoSpan = SrcSpan "tests/examples/MinimalPragma.hs" 3 6 3 28
                      , srcInfoPoints =
                          [ SrcSpan "tests/examples/MinimalPragma.hs" 3 11 3 13 ]
                      }
                    [ Symbol
                        SrcSpanInfo
                          { srcInfoSpan = SrcSpan "tests/examples/MinimalPragma.hs" 3 6 3 10
                          , srcInfoPoints =
                              [ SrcSpan "tests/examples/MinimalPragma.hs" 3 6 3 7
                              , SrcSpan "tests/examples/MinimalPragma.hs" 3 7 3 9
                              , SrcSpan "tests/examples/MinimalPragma.hs" 3 9 3 10
                              ]
                          }
                        "/="
                    ]
                    (TyFun
                       SrcSpanInfo
                         { srcInfoSpan = SrcSpan "tests/examples/MinimalPragma.hs" 3 14 3 28
                         , srcInfoPoints =
                             [ SrcSpan "tests/examples/MinimalPragma.hs" 3 16 3 18 ]
                         }
                       (TyVar
                          SrcSpanInfo
                            { srcInfoSpan = SrcSpan "tests/examples/MinimalPragma.hs" 3 14 3 15
                            , srcInfoPoints = []
                            }
                          (Ident
                             SrcSpanInfo
                               { srcInfoSpan = SrcSpan "tests/examples/MinimalPragma.hs" 3 14 3 15
                               , srcInfoPoints = []
                               }
                             "a"))
                       (TyFun
                          SrcSpanInfo
                            { srcInfoSpan = SrcSpan "tests/examples/MinimalPragma.hs" 3 19 3 28
                            , srcInfoPoints =
                                [ SrcSpan "tests/examples/MinimalPragma.hs" 3 21 3 23 ]
                            }
                          (TyVar
                             SrcSpanInfo
                               { srcInfoSpan = SrcSpan "tests/examples/MinimalPragma.hs" 3 19 3 20
                               , srcInfoPoints = []
                               }
                             (Ident
                                SrcSpanInfo
                                  { srcInfoSpan =
                                      SrcSpan "tests/examples/MinimalPragma.hs" 3 19 3 20
                                  , srcInfoPoints = []
                                  }
                                "a"))
                          (TyCon
                             SrcSpanInfo
                               { srcInfoSpan = SrcSpan "tests/examples/MinimalPragma.hs" 3 24 3 28
                               , srcInfoPoints = []
                               }
                             (UnQual
                                SrcSpanInfo
                                  { srcInfoSpan =
                                      SrcSpan "tests/examples/MinimalPragma.hs" 3 24 3 28
                                  , srcInfoPoints = []
                                  }
                                (Ident
                                   SrcSpanInfo
                                     { srcInfoSpan =
                                         SrcSpan "tests/examples/MinimalPragma.hs" 3 24 3 28
                                     , srcInfoPoints = []
                                     }
                                   "Bool"))))))
             , ClsDecl
                 SrcSpanInfo
                   { srcInfoSpan = SrcSpan "tests/examples/MinimalPragma.hs" 4 6 4 27
                   , srcInfoPoints = []
                   }
                 (FunBind
                    SrcSpanInfo
                      { srcInfoSpan = SrcSpan "tests/examples/MinimalPragma.hs" 4 6 4 27
                      , srcInfoPoints = []
                      }
                    [ InfixMatch
                        SrcSpanInfo
                          { srcInfoSpan = SrcSpan "tests/examples/MinimalPragma.hs" 4 6 4 27
                          , srcInfoPoints = []
                          }
                        (PVar
                           SrcSpanInfo
                             { srcInfoSpan = SrcSpan "tests/examples/MinimalPragma.hs" 4 6 4 7
                             , srcInfoPoints = []
                             }
                           (Ident
                              SrcSpanInfo
                                { srcInfoSpan = SrcSpan "tests/examples/MinimalPragma.hs" 4 6 4 7
                                , srcInfoPoints = []
                                }
                              "x"))
                        (Symbol
                           SrcSpanInfo
                             { srcInfoSpan = SrcSpan "tests/examples/MinimalPragma.hs" 4 8 4 10
                             , srcInfoPoints = []
                             }
                           "==")
                        [ PVar
                            SrcSpanInfo
                              { srcInfoSpan = SrcSpan "tests/examples/MinimalPragma.hs" 4 11 4 12
                              , srcInfoPoints = []
                              }
                            (Ident
                               SrcSpanInfo
                                 { srcInfoSpan = SrcSpan "tests/examples/MinimalPragma.hs" 4 11 4 12
                                 , srcInfoPoints = []
                                 }
                               "y")
                        ]
                        (UnGuardedRhs
                           SrcSpanInfo
                             { srcInfoSpan = SrcSpan "tests/examples/MinimalPragma.hs" 4 13 4 27
                             , srcInfoPoints =
                                 [ SrcSpan "tests/examples/MinimalPragma.hs" 4 13 4 14 ]
                             }
                           (App
                              SrcSpanInfo
                                { srcInfoSpan = SrcSpan "tests/examples/MinimalPragma.hs" 4 15 4 27
                                , srcInfoPoints = []
                                }
                              (Var
                                 SrcSpanInfo
                                   { srcInfoSpan =
                                       SrcSpan "tests/examples/MinimalPragma.hs" 4 15 4 18
                                   , srcInfoPoints = []
                                   }
                                 (UnQual
                                    SrcSpanInfo
                                      { srcInfoSpan =
                                          SrcSpan "tests/examples/MinimalPragma.hs" 4 15 4 18
                                      , srcInfoPoints = []
                                      }
                                    (Ident
                                       SrcSpanInfo
                                         { srcInfoSpan =
                                             SrcSpan "tests/examples/MinimalPragma.hs" 4 15 4 18
                                         , srcInfoPoints = []
                                         }
                                       "not")))
                              (Paren
                                 SrcSpanInfo
                                   { srcInfoSpan =
                                       SrcSpan "tests/examples/MinimalPragma.hs" 4 19 4 27
                                   , srcInfoPoints =
                                       [ SrcSpan "tests/examples/MinimalPragma.hs" 4 19 4 20
                                       , SrcSpan "tests/examples/MinimalPragma.hs" 4 26 4 27
                                       ]
                                   }
                                 (InfixApp
                                    SrcSpanInfo
                                      { srcInfoSpan =
                                          SrcSpan "tests/examples/MinimalPragma.hs" 4 20 4 26
                                      , srcInfoPoints = []
                                      }
                                    (Var
                                       SrcSpanInfo
                                         { srcInfoSpan =
                                             SrcSpan "tests/examples/MinimalPragma.hs" 4 20 4 21
                                         , srcInfoPoints = []
                                         }
                                       (UnQual
                                          SrcSpanInfo
                                            { srcInfoSpan =
                                                SrcSpan "tests/examples/MinimalPragma.hs" 4 20 4 21
                                            , srcInfoPoints = []
                                            }
                                          (Ident
                                             SrcSpanInfo
                                               { srcInfoSpan =
                                                   SrcSpan
                                                     "tests/examples/MinimalPragma.hs" 4 20 4 21
                                               , srcInfoPoints = []
                                               }
                                             "x")))
                                    (QVarOp
                                       SrcSpanInfo
                                         { srcInfoSpan =
                                             SrcSpan "tests/examples/MinimalPragma.hs" 4 22 4 24
                                         , srcInfoPoints = []
                                         }
                                       (UnQual
                                          SrcSpanInfo
                                            { srcInfoSpan =
                                                SrcSpan "tests/examples/MinimalPragma.hs" 4 22 4 24
                                            , srcInfoPoints = []
                                            }
                                          (Symbol
                                             SrcSpanInfo
                                               { srcInfoSpan =
                                                   SrcSpan
                                                     "tests/examples/MinimalPragma.hs" 4 22 4 24
                                               , srcInfoPoints = []
                                               }
                                             "/=")))
                                    (Var
                                       SrcSpanInfo
                                         { srcInfoSpan =
                                             SrcSpan "tests/examples/MinimalPragma.hs" 4 25 4 26
                                         , srcInfoPoints = []
                                         }
                                       (UnQual
                                          SrcSpanInfo
                                            { srcInfoSpan =
                                                SrcSpan "tests/examples/MinimalPragma.hs" 4 25 4 26
                                            , srcInfoPoints = []
                                            }
                                          (Ident
                                             SrcSpanInfo
                                               { srcInfoSpan =
                                                   SrcSpan
                                                     "tests/examples/MinimalPragma.hs" 4 25 4 26
                                               , srcInfoPoints = []
                                               }
                                             "y")))))))
                        Nothing
                    ])
             , ClsDecl
                 SrcSpanInfo
                   { srcInfoSpan = SrcSpan "tests/examples/MinimalPragma.hs" 5 6 5 27
                   , srcInfoPoints = []
                   }
                 (FunBind
                    SrcSpanInfo
                      { srcInfoSpan = SrcSpan "tests/examples/MinimalPragma.hs" 5 6 5 27
                      , srcInfoPoints = []
                      }
                    [ InfixMatch
                        SrcSpanInfo
                          { srcInfoSpan = SrcSpan "tests/examples/MinimalPragma.hs" 5 6 5 27
                          , srcInfoPoints = []
                          }
                        (PVar
                           SrcSpanInfo
                             { srcInfoSpan = SrcSpan "tests/examples/MinimalPragma.hs" 5 6 5 7
                             , srcInfoPoints = []
                             }
                           (Ident
                              SrcSpanInfo
                                { srcInfoSpan = SrcSpan "tests/examples/MinimalPragma.hs" 5 6 5 7
                                , srcInfoPoints = []
                                }
                              "x"))
                        (Symbol
                           SrcSpanInfo
                             { srcInfoSpan = SrcSpan "tests/examples/MinimalPragma.hs" 5 8 5 10
                             , srcInfoPoints = []
                             }
                           "/=")
                        [ PVar
                            SrcSpanInfo
                              { srcInfoSpan = SrcSpan "tests/examples/MinimalPragma.hs" 5 11 5 12
                              , srcInfoPoints = []
                              }
                            (Ident
                               SrcSpanInfo
                                 { srcInfoSpan = SrcSpan "tests/examples/MinimalPragma.hs" 5 11 5 12
                                 , srcInfoPoints = []
                                 }
                               "y")
                        ]
                        (UnGuardedRhs
                           SrcSpanInfo
                             { srcInfoSpan = SrcSpan "tests/examples/MinimalPragma.hs" 5 13 5 27
                             , srcInfoPoints =
                                 [ SrcSpan "tests/examples/MinimalPragma.hs" 5 13 5 14 ]
                             }
                           (App
                              SrcSpanInfo
                                { srcInfoSpan = SrcSpan "tests/examples/MinimalPragma.hs" 5 15 5 27
                                , srcInfoPoints = []
                                }
                              (Var
                                 SrcSpanInfo
                                   { srcInfoSpan =
                                       SrcSpan "tests/examples/MinimalPragma.hs" 5 15 5 18
                                   , srcInfoPoints = []
                                   }
                                 (UnQual
                                    SrcSpanInfo
                                      { srcInfoSpan =
                                          SrcSpan "tests/examples/MinimalPragma.hs" 5 15 5 18
                                      , srcInfoPoints = []
                                      }
                                    (Ident
                                       SrcSpanInfo
                                         { srcInfoSpan =
                                             SrcSpan "tests/examples/MinimalPragma.hs" 5 15 5 18
                                         , srcInfoPoints = []
                                         }
                                       "not")))
                              (Paren
                                 SrcSpanInfo
                                   { srcInfoSpan =
                                       SrcSpan "tests/examples/MinimalPragma.hs" 5 19 5 27
                                   , srcInfoPoints =
                                       [ SrcSpan "tests/examples/MinimalPragma.hs" 5 19 5 20
                                       , SrcSpan "tests/examples/MinimalPragma.hs" 5 26 5 27
                                       ]
                                   }
                                 (InfixApp
                                    SrcSpanInfo
                                      { srcInfoSpan =
                                          SrcSpan "tests/examples/MinimalPragma.hs" 5 20 5 26
                                      , srcInfoPoints = []
                                      }
                                    (Var
                                       SrcSpanInfo
                                         { srcInfoSpan =
                                             SrcSpan "tests/examples/MinimalPragma.hs" 5 20 5 21
                                         , srcInfoPoints = []
                                         }
                                       (UnQual
                                          SrcSpanInfo
                                            { srcInfoSpan =
                                                SrcSpan "tests/examples/MinimalPragma.hs" 5 20 5 21
                                            , srcInfoPoints = []
                                            }
                                          (Ident
                                             SrcSpanInfo
                                               { srcInfoSpan =
                                                   SrcSpan
                                                     "tests/examples/MinimalPragma.hs" 5 20 5 21
                                               , srcInfoPoints = []
                                               }
                                             "x")))
                                    (QVarOp
                                       SrcSpanInfo
                                         { srcInfoSpan =
                                             SrcSpan "tests/examples/MinimalPragma.hs" 5 22 5 24
                                         , srcInfoPoints = []
                                         }
                                       (UnQual
                                          SrcSpanInfo
                                            { srcInfoSpan =
                                                SrcSpan "tests/examples/MinimalPragma.hs" 5 22 5 24
                                            , srcInfoPoints = []
                                            }
                                          (Symbol
                                             SrcSpanInfo
                                               { srcInfoSpan =
                                                   SrcSpan
                                                     "tests/examples/MinimalPragma.hs" 5 22 5 24
                                               , srcInfoPoints = []
                                               }
                                             "==")))
                                    (Var
                                       SrcSpanInfo
                                         { srcInfoSpan =
                                             SrcSpan "tests/examples/MinimalPragma.hs" 5 25 5 26
                                         , srcInfoPoints = []
                                         }
                                       (UnQual
                                          SrcSpanInfo
                                            { srcInfoSpan =
                                                SrcSpan "tests/examples/MinimalPragma.hs" 5 25 5 26
                                            , srcInfoPoints = []
                                            }
                                          (Ident
                                             SrcSpanInfo
                                               { srcInfoSpan =
                                                   SrcSpan
                                                     "tests/examples/MinimalPragma.hs" 5 25 5 26
                                               , srcInfoPoints = []
                                               }
                                             "y")))))))
                        Nothing
                    ])
             , ClsDecl
                 SrcSpanInfo
                   { srcInfoSpan = SrcSpan "tests/examples/MinimalPragma.hs" 6 6 6 33
                   , srcInfoPoints =
                       [ SrcSpan "tests/examples/MinimalPragma.hs" 6 6 6 17
                       , SrcSpan "tests/examples/MinimalPragma.hs" 6 30 6 33
                       ]
                   }
                 (MinimalPragma
                    SrcSpanInfo
                      { srcInfoSpan = SrcSpan "tests/examples/MinimalPragma.hs" 6 6 6 33
                      , srcInfoPoints =
                          [ SrcSpan "tests/examples/MinimalPragma.hs" 6 6 6 17
                          , SrcSpan "tests/examples/MinimalPragma.hs" 6 30 6 33
                          ]
                      }
                    (Just
                       (OrFormula
                          SrcSpanInfo
                            { srcInfoSpan = SrcSpan "tests/examples/MinimalPragma.hs" 6 18 6 29
                            , srcInfoPoints =
                                [ SrcSpan "tests/examples/MinimalPragma.hs" 6 23 6 24 ]
                            }
                          [ VarFormula
                              SrcSpanInfo
                                { srcInfoSpan = SrcSpan "tests/examples/MinimalPragma.hs" 6 18 6 22
                                , srcInfoPoints =
                                    [ SrcSpan "tests/examples/MinimalPragma.hs" 6 18 6 19
                                    , SrcSpan "tests/examples/MinimalPragma.hs" 6 19 6 21
                                    , SrcSpan "tests/examples/MinimalPragma.hs" 6 21 6 22
                                    ]
                                }
                              (Symbol
                                 SrcSpanInfo
                                   { srcInfoSpan =
                                       SrcSpan "tests/examples/MinimalPragma.hs" 6 18 6 22
                                   , srcInfoPoints =
                                       [ SrcSpan "tests/examples/MinimalPragma.hs" 6 18 6 19
                                       , SrcSpan "tests/examples/MinimalPragma.hs" 6 19 6 21
                                       , SrcSpan "tests/examples/MinimalPragma.hs" 6 21 6 22
                                       ]
                                   }
                                 "==")
                          , VarFormula
                              SrcSpanInfo
                                { srcInfoSpan = SrcSpan "tests/examples/MinimalPragma.hs" 6 25 6 29
                                , srcInfoPoints =
                                    [ SrcSpan "tests/examples/MinimalPragma.hs" 6 25 6 26
                                    , SrcSpan "tests/examples/MinimalPragma.hs" 6 26 6 28
                                    , SrcSpan "tests/examples/MinimalPragma.hs" 6 28 6 29
                                    ]
                                }
                              (Symbol
                                 SrcSpanInfo
                                   { srcInfoSpan =
                                       SrcSpan "tests/examples/MinimalPragma.hs" 6 25 6 29
                                   , srcInfoPoints =
                                       [ SrcSpan "tests/examples/MinimalPragma.hs" 6 25 6 26
                                       , SrcSpan "tests/examples/MinimalPragma.hs" 6 26 6 28
                                       , SrcSpan "tests/examples/MinimalPragma.hs" 6 28 6 29
                                       ]
                                   }
                                 "/=")
                          ])))
             ])
      ]
  , []
  )