ParseOk
  ( Module
      SrcSpanInfo
        { srcInfoSpan = SrcSpan "tests/examples/T13050.hs" 1 1 8 1
        , srcInfoPoints =
            [ SrcSpan "tests/examples/T13050.hs" 1 1 1 1
            , SrcSpan "tests/examples/T13050.hs" 1 1 1 1
            , SrcSpan "tests/examples/T13050.hs" 3 1 3 1
            , SrcSpan "tests/examples/T13050.hs" 4 1 4 1
            , SrcSpan "tests/examples/T13050.hs" 5 1 5 1
            , SrcSpan "tests/examples/T13050.hs" 6 1 6 1
            , SrcSpan "tests/examples/T13050.hs" 8 1 8 1
            , SrcSpan "tests/examples/T13050.hs" 8 1 8 1
            ]
        }
      (Just
         (ModuleHead
            SrcSpanInfo
              { srcInfoSpan = SrcSpan "tests/examples/T13050.hs" 1 1 1 24
              , srcInfoPoints =
                  [ SrcSpan "tests/examples/T13050.hs" 1 1 1 7
                  , SrcSpan "tests/examples/T13050.hs" 1 19 1 24
                  ]
              }
            (ModuleName
               SrcSpanInfo
                 { srcInfoSpan = SrcSpan "tests/examples/T13050.hs" 1 8 1 18
                 , srcInfoPoints = []
                 }
               "HolesInfix")
            Nothing
            Nothing))
      []
      []
      [ TypeSig
          SrcSpanInfo
            { srcInfoSpan = SrcSpan "tests/examples/T13050.hs" 3 1 3 29
            , srcInfoPoints =
                [ SrcSpan "tests/examples/T13050.hs" 3 2 3 3
                , SrcSpan "tests/examples/T13050.hs" 3 5 3 6
                , SrcSpan "tests/examples/T13050.hs" 3 9 3 11
                ]
            }
          [ Ident
              SrcSpanInfo
                { srcInfoSpan = SrcSpan "tests/examples/T13050.hs" 3 1 3 2
                , srcInfoPoints = []
                }
              "f"
          , Ident
              SrcSpanInfo
                { srcInfoSpan = SrcSpan "tests/examples/T13050.hs" 3 4 3 5
                , srcInfoPoints = []
                }
              "g"
          , Ident
              SrcSpanInfo
                { srcInfoSpan = SrcSpan "tests/examples/T13050.hs" 3 7 3 8
                , srcInfoPoints = []
                }
              "q"
          ]
          (TyFun
             SrcSpanInfo
               { srcInfoSpan = SrcSpan "tests/examples/T13050.hs" 3 12 3 29
               , srcInfoPoints = [ SrcSpan "tests/examples/T13050.hs" 3 16 3 18 ]
               }
             (TyCon
                SrcSpanInfo
                  { srcInfoSpan = SrcSpan "tests/examples/T13050.hs" 3 12 3 15
                  , srcInfoPoints = []
                  }
                (UnQual
                   SrcSpanInfo
                     { srcInfoSpan = SrcSpan "tests/examples/T13050.hs" 3 12 3 15
                     , srcInfoPoints = []
                     }
                   (Ident
                      SrcSpanInfo
                        { srcInfoSpan = SrcSpan "tests/examples/T13050.hs" 3 12 3 15
                        , srcInfoPoints = []
                        }
                      "Int")))
             (TyFun
                SrcSpanInfo
                  { srcInfoSpan = SrcSpan "tests/examples/T13050.hs" 3 19 3 29
                  , srcInfoPoints = [ SrcSpan "tests/examples/T13050.hs" 3 23 3 25 ]
                  }
                (TyCon
                   SrcSpanInfo
                     { srcInfoSpan = SrcSpan "tests/examples/T13050.hs" 3 19 3 22
                     , srcInfoPoints = []
                     }
                   (UnQual
                      SrcSpanInfo
                        { srcInfoSpan = SrcSpan "tests/examples/T13050.hs" 3 19 3 22
                        , srcInfoPoints = []
                        }
                      (Ident
                         SrcSpanInfo
                           { srcInfoSpan = SrcSpan "tests/examples/T13050.hs" 3 19 3 22
                           , srcInfoPoints = []
                           }
                         "Int")))
                (TyCon
                   SrcSpanInfo
                     { srcInfoSpan = SrcSpan "tests/examples/T13050.hs" 3 26 3 29
                     , srcInfoPoints = []
                     }
                   (UnQual
                      SrcSpanInfo
                        { srcInfoSpan = SrcSpan "tests/examples/T13050.hs" 3 26 3 29
                        , srcInfoPoints = []
                        }
                      (Ident
                         SrcSpanInfo
                           { srcInfoSpan = SrcSpan "tests/examples/T13050.hs" 3 26 3 29
                           , srcInfoPoints = []
                           }
                         "Int")))))
      , FunBind
          SrcSpanInfo
            { srcInfoSpan = SrcSpan "tests/examples/T13050.hs" 4 1 4 14
            , srcInfoPoints = []
            }
          [ Match
              SrcSpanInfo
                { srcInfoSpan = SrcSpan "tests/examples/T13050.hs" 4 1 4 14
                , srcInfoPoints = []
                }
              (Ident
                 SrcSpanInfo
                   { srcInfoSpan = SrcSpan "tests/examples/T13050.hs" 4 1 4 2
                   , srcInfoPoints = []
                   }
                 "f")
              [ PVar
                  SrcSpanInfo
                    { srcInfoSpan = SrcSpan "tests/examples/T13050.hs" 4 3 4 4
                    , srcInfoPoints = []
                    }
                  (Ident
                     SrcSpanInfo
                       { srcInfoSpan = SrcSpan "tests/examples/T13050.hs" 4 3 4 4
                       , srcInfoPoints = []
                       }
                     "x")
              , PVar
                  SrcSpanInfo
                    { srcInfoSpan = SrcSpan "tests/examples/T13050.hs" 4 5 4 6
                    , srcInfoPoints = []
                    }
                  (Ident
                     SrcSpanInfo
                       { srcInfoSpan = SrcSpan "tests/examples/T13050.hs" 4 5 4 6
                       , srcInfoPoints = []
                       }
                     "y")
              ]
              (UnGuardedRhs
                 SrcSpanInfo
                   { srcInfoSpan = SrcSpan "tests/examples/T13050.hs" 4 7 4 14
                   , srcInfoPoints = [ SrcSpan "tests/examples/T13050.hs" 4 7 4 8 ]
                   }
                 (App
                    SrcSpanInfo
                      { srcInfoSpan = SrcSpan "tests/examples/T13050.hs" 4 9 4 14
                      , srcInfoPoints = []
                      }
                    (App
                       SrcSpanInfo
                         { srcInfoSpan = SrcSpan "tests/examples/T13050.hs" 4 9 4 12
                         , srcInfoPoints = []
                         }
                       (Var
                          SrcSpanInfo
                            { srcInfoSpan = SrcSpan "tests/examples/T13050.hs" 4 9 4 10
                            , srcInfoPoints = []
                            }
                          (Special
                             SrcSpanInfo
                               { srcInfoSpan = SrcSpan "tests/examples/T13050.hs" 4 9 4 10
                               , srcInfoPoints = []
                               }
                             (ExprHole
                                SrcSpanInfo
                                  { srcInfoSpan = SrcSpan "tests/examples/T13050.hs" 4 9 4 10
                                  , srcInfoPoints = []
                                  })))
                       (Var
                          SrcSpanInfo
                            { srcInfoSpan = SrcSpan "tests/examples/T13050.hs" 4 11 4 12
                            , srcInfoPoints = []
                            }
                          (UnQual
                             SrcSpanInfo
                               { srcInfoSpan = SrcSpan "tests/examples/T13050.hs" 4 11 4 12
                               , srcInfoPoints = []
                               }
                             (Ident
                                SrcSpanInfo
                                  { srcInfoSpan = SrcSpan "tests/examples/T13050.hs" 4 11 4 12
                                  , srcInfoPoints = []
                                  }
                                "x"))))
                    (Var
                       SrcSpanInfo
                         { srcInfoSpan = SrcSpan "tests/examples/T13050.hs" 4 13 4 14
                         , srcInfoPoints = []
                         }
                       (UnQual
                          SrcSpanInfo
                            { srcInfoSpan = SrcSpan "tests/examples/T13050.hs" 4 13 4 14
                            , srcInfoPoints = []
                            }
                          (Ident
                             SrcSpanInfo
                               { srcInfoSpan = SrcSpan "tests/examples/T13050.hs" 4 13 4 14
                               , srcInfoPoints = []
                               }
                             "y")))))
              Nothing
          ]
      , FunBind
          SrcSpanInfo
            { srcInfoSpan = SrcSpan "tests/examples/T13050.hs" 5 1 5 16
            , srcInfoPoints = []
            }
          [ Match
              SrcSpanInfo
                { srcInfoSpan = SrcSpan "tests/examples/T13050.hs" 5 1 5 16
                , srcInfoPoints = []
                }
              (Ident
                 SrcSpanInfo
                   { srcInfoSpan = SrcSpan "tests/examples/T13050.hs" 5 1 5 2
                   , srcInfoPoints = []
                   }
                 "g")
              [ PVar
                  SrcSpanInfo
                    { srcInfoSpan = SrcSpan "tests/examples/T13050.hs" 5 3 5 4
                    , srcInfoPoints = []
                    }
                  (Ident
                     SrcSpanInfo
                       { srcInfoSpan = SrcSpan "tests/examples/T13050.hs" 5 3 5 4
                       , srcInfoPoints = []
                       }
                     "x")
              , PVar
                  SrcSpanInfo
                    { srcInfoSpan = SrcSpan "tests/examples/T13050.hs" 5 5 5 6
                    , srcInfoPoints = []
                    }
                  (Ident
                     SrcSpanInfo
                       { srcInfoSpan = SrcSpan "tests/examples/T13050.hs" 5 5 5 6
                       , srcInfoPoints = []
                       }
                     "y")
              ]
              (UnGuardedRhs
                 SrcSpanInfo
                   { srcInfoSpan = SrcSpan "tests/examples/T13050.hs" 5 7 5 16
                   , srcInfoPoints = [ SrcSpan "tests/examples/T13050.hs" 5 7 5 8 ]
                   }
                 (InfixApp
                    SrcSpanInfo
                      { srcInfoSpan = SrcSpan "tests/examples/T13050.hs" 5 9 5 16
                      , srcInfoPoints = []
                      }
                    (Var
                       SrcSpanInfo
                         { srcInfoSpan = SrcSpan "tests/examples/T13050.hs" 5 9 5 10
                         , srcInfoPoints = []
                         }
                       (UnQual
                          SrcSpanInfo
                            { srcInfoSpan = SrcSpan "tests/examples/T13050.hs" 5 9 5 10
                            , srcInfoPoints = []
                            }
                          (Ident
                             SrcSpanInfo
                               { srcInfoSpan = SrcSpan "tests/examples/T13050.hs" 5 9 5 10
                               , srcInfoPoints = []
                               }
                             "x")))
                    (QVarOp
                       SrcSpanInfo
                         { srcInfoSpan = SrcSpan "tests/examples/T13050.hs" 5 11 5 14
                         , srcInfoPoints =
                             [ SrcSpan "tests/examples/T13050.hs" 5 11 5 12
                             , SrcSpan "tests/examples/T13050.hs" 5 12 5 13
                             , SrcSpan "tests/examples/T13050.hs" 5 13 5 14
                             ]
                         }
                       (Special
                          SrcSpanInfo
                            { srcInfoSpan = SrcSpan "tests/examples/T13050.hs" 5 11 5 14
                            , srcInfoPoints =
                                [ SrcSpan "tests/examples/T13050.hs" 5 11 5 12
                                , SrcSpan "tests/examples/T13050.hs" 5 12 5 13
                                , SrcSpan "tests/examples/T13050.hs" 5 13 5 14
                                ]
                            }
                          (ExprHole
                             SrcSpanInfo
                               { srcInfoSpan = SrcSpan "tests/examples/T13050.hs" 5 12 5 13
                               , srcInfoPoints = []
                               })))
                    (Var
                       SrcSpanInfo
                         { srcInfoSpan = SrcSpan "tests/examples/T13050.hs" 5 15 5 16
                         , srcInfoPoints = []
                         }
                       (UnQual
                          SrcSpanInfo
                            { srcInfoSpan = SrcSpan "tests/examples/T13050.hs" 5 15 5 16
                            , srcInfoPoints = []
                            }
                          (Ident
                             SrcSpanInfo
                               { srcInfoSpan = SrcSpan "tests/examples/T13050.hs" 5 15 5 16
                               , srcInfoPoints = []
                               }
                             "y")))))
              Nothing
          ]
      , FunBind
          SrcSpanInfo
            { srcInfoSpan = SrcSpan "tests/examples/T13050.hs" 6 1 6 17
            , srcInfoPoints = []
            }
          [ Match
              SrcSpanInfo
                { srcInfoSpan = SrcSpan "tests/examples/T13050.hs" 6 1 6 17
                , srcInfoPoints = []
                }
              (Ident
                 SrcSpanInfo
                   { srcInfoSpan = SrcSpan "tests/examples/T13050.hs" 6 1 6 2
                   , srcInfoPoints = []
                   }
                 "q")
              [ PVar
                  SrcSpanInfo
                    { srcInfoSpan = SrcSpan "tests/examples/T13050.hs" 6 3 6 4
                    , srcInfoPoints = []
                    }
                  (Ident
                     SrcSpanInfo
                       { srcInfoSpan = SrcSpan "tests/examples/T13050.hs" 6 3 6 4
                       , srcInfoPoints = []
                       }
                     "x")
              , PVar
                  SrcSpanInfo
                    { srcInfoSpan = SrcSpan "tests/examples/T13050.hs" 6 5 6 6
                    , srcInfoPoints = []
                    }
                  (Ident
                     SrcSpanInfo
                       { srcInfoSpan = SrcSpan "tests/examples/T13050.hs" 6 5 6 6
                       , srcInfoPoints = []
                       }
                     "y")
              ]
              (UnGuardedRhs
                 SrcSpanInfo
                   { srcInfoSpan = SrcSpan "tests/examples/T13050.hs" 6 7 6 17
                   , srcInfoPoints = [ SrcSpan "tests/examples/T13050.hs" 6 7 6 8 ]
                   }
                 (InfixApp
                    SrcSpanInfo
                      { srcInfoSpan = SrcSpan "tests/examples/T13050.hs" 6 9 6 17
                      , srcInfoPoints = []
                      }
                    (Var
                       SrcSpanInfo
                         { srcInfoSpan = SrcSpan "tests/examples/T13050.hs" 6 9 6 10
                         , srcInfoPoints = []
                         }
                       (UnQual
                          SrcSpanInfo
                            { srcInfoSpan = SrcSpan "tests/examples/T13050.hs" 6 9 6 10
                            , srcInfoPoints = []
                            }
                          (Ident
                             SrcSpanInfo
                               { srcInfoSpan = SrcSpan "tests/examples/T13050.hs" 6 9 6 10
                               , srcInfoPoints = []
                               }
                             "x")))
                    (QVarOp
                       SrcSpanInfo
                         { srcInfoSpan = SrcSpan "tests/examples/T13050.hs" 6 11 6 15
                         , srcInfoPoints =
                             [ SrcSpan "tests/examples/T13050.hs" 6 11 6 12
                             , SrcSpan "tests/examples/T13050.hs" 6 12 6 14
                             , SrcSpan "tests/examples/T13050.hs" 6 14 6 15
                             ]
                         }
                       (UnQual
                          SrcSpanInfo
                            { srcInfoSpan = SrcSpan "tests/examples/T13050.hs" 6 11 6 15
                            , srcInfoPoints =
                                [ SrcSpan "tests/examples/T13050.hs" 6 11 6 12
                                , SrcSpan "tests/examples/T13050.hs" 6 12 6 14
                                , SrcSpan "tests/examples/T13050.hs" 6 14 6 15
                                ]
                            }
                          (Ident
                             SrcSpanInfo
                               { srcInfoSpan = SrcSpan "tests/examples/T13050.hs" 6 12 6 14
                               , srcInfoPoints = []
                               }
                             "_a")))
                    (Var
                       SrcSpanInfo
                         { srcInfoSpan = SrcSpan "tests/examples/T13050.hs" 6 16 6 17
                         , srcInfoPoints = []
                         }
                       (UnQual
                          SrcSpanInfo
                            { srcInfoSpan = SrcSpan "tests/examples/T13050.hs" 6 16 6 17
                            , srcInfoPoints = []
                            }
                          (Ident
                             SrcSpanInfo
                               { srcInfoSpan = SrcSpan "tests/examples/T13050.hs" 6 16 6 17
                               , srcInfoPoints = []
                               }
                             "y")))))
              Nothing
          ]
      ]
  , []
  )