ParseOk
  ( Module
      SrcSpanInfo
        { srcInfoSpan = SrcSpan "tests/examples/ClassContext.hs" 1 1 3 1
        , srcInfoPoints =
            [ SrcSpan "tests/examples/ClassContext.hs" 1 1 1 1
            , SrcSpan "tests/examples/ClassContext.hs" 1 1 1 1
            , SrcSpan "tests/examples/ClassContext.hs" 1 1 1 1
            , SrcSpan "tests/examples/ClassContext.hs" 2 1 2 1
            , SrcSpan "tests/examples/ClassContext.hs" 3 1 3 1
            , SrcSpan "tests/examples/ClassContext.hs" 3 1 3 1
            ]
        }
      Nothing
      []
      []
      [ TypeSig
          SrcSpanInfo
            { srcInfoSpan = SrcSpan "tests/examples/ClassContext.hs" 1 1 1 35
            , srcInfoPoints =
                [ SrcSpan "tests/examples/ClassContext.hs" 1 3 1 5 ]
            }
          [ Ident
              SrcSpanInfo
                { srcInfoSpan = SrcSpan "tests/examples/ClassContext.hs" 1 1 1 2
                , srcInfoPoints = []
                }
              "f"
          ]
          (TyForall
             SrcSpanInfo
               { srcInfoSpan = SrcSpan "tests/examples/ClassContext.hs" 1 6 1 35
               , srcInfoPoints = []
               }
             Nothing
             (Just
                (CxSingle
                   SrcSpanInfo
                     { srcInfoSpan = SrcSpan "tests/examples/ClassContext.hs" 1 6 1 20
                     , srcInfoPoints =
                         [ SrcSpan "tests/examples/ClassContext.hs" 1 18 1 20 ]
                     }
                   (ClassA
                      SrcSpanInfo
                        { srcInfoSpan = SrcSpan "tests/examples/ClassContext.hs" 1 6 1 20
                        , srcInfoPoints =
                            [ SrcSpan "tests/examples/ClassContext.hs" 1 18 1 20 ]
                        }
                      (UnQual
                         SrcSpanInfo
                           { srcInfoSpan = SrcSpan "tests/examples/ClassContext.hs" 1 6 1 9
                           , srcInfoPoints = []
                           }
                         (Ident
                            SrcSpanInfo
                              { srcInfoSpan = SrcSpan "tests/examples/ClassContext.hs" 1 6 1 9
                              , srcInfoPoints = []
                              }
                            "Ord"))
                      [ TyParen
                          SrcSpanInfo
                            { srcInfoSpan = SrcSpan "tests/examples/ClassContext.hs" 1 10 1 17
                            , srcInfoPoints =
                                [ SrcSpan "tests/examples/ClassContext.hs" 1 10 1 11
                                , SrcSpan "tests/examples/ClassContext.hs" 1 16 1 17
                                ]
                            }
                          (TyApp
                             SrcSpanInfo
                               { srcInfoSpan = SrcSpan "tests/examples/ClassContext.hs" 1 11 1 16
                               , srcInfoPoints = []
                               }
                             (TyVar
                                SrcSpanInfo
                                  { srcInfoSpan = SrcSpan "tests/examples/ClassContext.hs" 1 11 1 12
                                  , srcInfoPoints = []
                                  }
                                (Ident
                                   SrcSpanInfo
                                     { srcInfoSpan =
                                         SrcSpan "tests/examples/ClassContext.hs" 1 11 1 12
                                     , srcInfoPoints = []
                                     }
                                   "i"))
                             (TyCon
                                SrcSpanInfo
                                  { srcInfoSpan = SrcSpan "tests/examples/ClassContext.hs" 1 13 1 16
                                  , srcInfoPoints = []
                                  }
                                (UnQual
                                   SrcSpanInfo
                                     { srcInfoSpan =
                                         SrcSpan "tests/examples/ClassContext.hs" 1 13 1 16
                                     , srcInfoPoints = []
                                     }
                                   (Ident
                                      SrcSpanInfo
                                        { srcInfoSpan =
                                            SrcSpan "tests/examples/ClassContext.hs" 1 13 1 16
                                        , srcInfoPoints = []
                                        }
                                      "Int"))))
                      ])))
             (TyFun
                SrcSpanInfo
                  { srcInfoSpan = SrcSpan "tests/examples/ClassContext.hs" 1 21 1 35
                  , srcInfoPoints =
                      [ SrcSpan "tests/examples/ClassContext.hs" 1 27 1 29 ]
                  }
                (TyApp
                   SrcSpanInfo
                     { srcInfoSpan = SrcSpan "tests/examples/ClassContext.hs" 1 21 1 26
                     , srcInfoPoints = []
                     }
                   (TyVar
                      SrcSpanInfo
                        { srcInfoSpan = SrcSpan "tests/examples/ClassContext.hs" 1 21 1 22
                        , srcInfoPoints = []
                        }
                      (Ident
                         SrcSpanInfo
                           { srcInfoSpan = SrcSpan "tests/examples/ClassContext.hs" 1 21 1 22
                           , srcInfoPoints = []
                           }
                         "i"))
                   (TyCon
                      SrcSpanInfo
                        { srcInfoSpan = SrcSpan "tests/examples/ClassContext.hs" 1 23 1 26
                        , srcInfoPoints = []
                        }
                      (UnQual
                         SrcSpanInfo
                           { srcInfoSpan = SrcSpan "tests/examples/ClassContext.hs" 1 23 1 26
                           , srcInfoPoints = []
                           }
                         (Ident
                            SrcSpanInfo
                              { srcInfoSpan = SrcSpan "tests/examples/ClassContext.hs" 1 23 1 26
                              , srcInfoPoints = []
                              }
                            "Int"))))
                (TyApp
                   SrcSpanInfo
                     { srcInfoSpan = SrcSpan "tests/examples/ClassContext.hs" 1 30 1 35
                     , srcInfoPoints = []
                     }
                   (TyVar
                      SrcSpanInfo
                        { srcInfoSpan = SrcSpan "tests/examples/ClassContext.hs" 1 30 1 31
                        , srcInfoPoints = []
                        }
                      (Ident
                         SrcSpanInfo
                           { srcInfoSpan = SrcSpan "tests/examples/ClassContext.hs" 1 30 1 31
                           , srcInfoPoints = []
                           }
                         "i"))
                   (TyCon
                      SrcSpanInfo
                        { srcInfoSpan = SrcSpan "tests/examples/ClassContext.hs" 1 32 1 35
                        , srcInfoPoints = []
                        }
                      (UnQual
                         SrcSpanInfo
                           { srcInfoSpan = SrcSpan "tests/examples/ClassContext.hs" 1 32 1 35
                           , srcInfoPoints = []
                           }
                         (Ident
                            SrcSpanInfo
                              { srcInfoSpan = SrcSpan "tests/examples/ClassContext.hs" 1 32 1 35
                              , srcInfoPoints = []
                              }
                            "Int"))))))
      , PatBind
          SrcSpanInfo
            { srcInfoSpan = SrcSpan "tests/examples/ClassContext.hs" 2 1 2 14
            , srcInfoPoints = []
            }
          (PVar
             SrcSpanInfo
               { srcInfoSpan = SrcSpan "tests/examples/ClassContext.hs" 2 1 2 2
               , srcInfoPoints = []
               }
             (Ident
                SrcSpanInfo
                  { srcInfoSpan = SrcSpan "tests/examples/ClassContext.hs" 2 1 2 2
                  , srcInfoPoints = []
                  }
                "f"))
          (UnGuardedRhs
             SrcSpanInfo
               { srcInfoSpan = SrcSpan "tests/examples/ClassContext.hs" 2 3 2 14
               , srcInfoPoints =
                   [ SrcSpan "tests/examples/ClassContext.hs" 2 3 2 4 ]
               }
             (Var
                SrcSpanInfo
                  { srcInfoSpan = SrcSpan "tests/examples/ClassContext.hs" 2 5 2 14
                  , srcInfoPoints = []
                  }
                (UnQual
                   SrcSpanInfo
                     { srcInfoSpan = SrcSpan "tests/examples/ClassContext.hs" 2 5 2 14
                     , srcInfoPoints = []
                     }
                   (Ident
                      SrcSpanInfo
                        { srcInfoSpan = SrcSpan "tests/examples/ClassContext.hs" 2 5 2 14
                        , srcInfoPoints = []
                        }
                      "undefined"))))
          Nothing
      ]
  , []
  )