ParseOk
  ( Module
      SrcSpanInfo
        { srcInfoSpan = SrcSpan "tests/examples/RCategory3.hs" 1 1 6 1
        , srcInfoPoints =
            [ SrcSpan "tests/examples/RCategory3.hs" 1 1 1 1
            , SrcSpan "tests/examples/RCategory3.hs" 3 1 3 1
            , SrcSpan "tests/examples/RCategory3.hs" 3 1 3 1
            , SrcSpan "tests/examples/RCategory3.hs" 3 1 3 1
            , SrcSpan "tests/examples/RCategory3.hs" 6 1 6 1
            , SrcSpan "tests/examples/RCategory3.hs" 6 1 6 1
            ]
        }
      Nothing
      [ LanguagePragma
          SrcSpanInfo
            { srcInfoSpan = SrcSpan "tests/examples/RCategory3.hs" 1 1 1 47
            , srcInfoPoints =
                [ SrcSpan "tests/examples/RCategory3.hs" 1 1 1 13
                , SrcSpan "tests/examples/RCategory3.hs" 1 26 1 27
                , SrcSpan "tests/examples/RCategory3.hs" 1 44 1 47
                ]
            }
          [ Ident
              SrcSpanInfo
                { srcInfoSpan = SrcSpan "tests/examples/RCategory3.hs" 1 14 1 26
                , srcInfoPoints = []
                }
              "TypeFamilies"
          , Ident
              SrcSpanInfo
                { srcInfoSpan = SrcSpan "tests/examples/RCategory3.hs" 1 28 1 43
                , srcInfoPoints = []
                }
              "ConstraintKinds"
          ]
      ]
      []
      [ InstDecl
          SrcSpanInfo
            { srcInfoSpan = SrcSpan "tests/examples/RCategory3.hs" 3 1 6 0
            , srcInfoPoints =
                [ SrcSpan "tests/examples/RCategory3.hs" 3 1 3 9
                , SrcSpan "tests/examples/RCategory3.hs" 3 25 3 30
                , SrcSpan "tests/examples/RCategory3.hs" 4 3 4 3
                , SrcSpan "tests/examples/RCategory3.hs" 6 1 6 0
                ]
            }
          Nothing
          (IRule
             SrcSpanInfo
               { srcInfoSpan = SrcSpan "tests/examples/RCategory3.hs" 3 10 3 24
               , srcInfoPoints = []
               }
             Nothing
             Nothing
             (IHApp
                SrcSpanInfo
                  { srcInfoSpan = SrcSpan "tests/examples/RCategory3.hs" 3 10 3 24
                  , srcInfoPoints = []
                  }
                (IHCon
                   SrcSpanInfo
                     { srcInfoSpan = SrcSpan "tests/examples/RCategory3.hs" 3 10 3 19
                     , srcInfoPoints = []
                     }
                   (UnQual
                      SrcSpanInfo
                        { srcInfoSpan = SrcSpan "tests/examples/RCategory3.hs" 3 10 3 19
                        , srcInfoPoints = []
                        }
                      (Ident
                         SrcSpanInfo
                           { srcInfoSpan = SrcSpan "tests/examples/RCategory3.hs" 3 10 3 19
                           , srcInfoPoints = []
                           }
                         "RCategory")))
                (TyCon
                   SrcSpanInfo
                     { srcInfoSpan = SrcSpan "tests/examples/RCategory3.hs" 3 20 3 24
                     , srcInfoPoints =
                         [ SrcSpan "tests/examples/RCategory3.hs" 3 20 3 21
                         , SrcSpan "tests/examples/RCategory3.hs" 3 21 3 23
                         , SrcSpan "tests/examples/RCategory3.hs" 3 23 3 24
                         ]
                     }
                   (Special
                      SrcSpanInfo
                        { srcInfoSpan = SrcSpan "tests/examples/RCategory3.hs" 3 20 3 24
                        , srcInfoPoints =
                            [ SrcSpan "tests/examples/RCategory3.hs" 3 20 3 21
                            , SrcSpan "tests/examples/RCategory3.hs" 3 21 3 23
                            , SrcSpan "tests/examples/RCategory3.hs" 3 23 3 24
                            ]
                        }
                      (FunCon
                         SrcSpanInfo
                           { srcInfoSpan = SrcSpan "tests/examples/RCategory3.hs" 3 20 3 24
                           , srcInfoPoints =
                               [ SrcSpan "tests/examples/RCategory3.hs" 3 20 3 21
                               , SrcSpan "tests/examples/RCategory3.hs" 3 21 3 23
                               , SrcSpan "tests/examples/RCategory3.hs" 3 23 3 24
                               ]
                           })))))
          (Just
             [ InsType
                 SrcSpanInfo
                   { srcInfoSpan = SrcSpan "tests/examples/RCategory3.hs" 4 3 4 35
                   , srcInfoPoints =
                       [ SrcSpan "tests/examples/RCategory3.hs" 4 3 4 7
                       , SrcSpan "tests/examples/RCategory3.hs" 4 31 4 32
                       ]
                   }
                 (TyApp
                    SrcSpanInfo
                      { srcInfoSpan = SrcSpan "tests/examples/RCategory3.hs" 4 8 4 30
                      , srcInfoPoints = []
                      }
                    (TyApp
                       SrcSpanInfo
                         { srcInfoSpan = SrcSpan "tests/examples/RCategory3.hs" 4 8 4 28
                         , srcInfoPoints = []
                         }
                       (TyApp
                          SrcSpanInfo
                            { srcInfoSpan = SrcSpan "tests/examples/RCategory3.hs" 4 8 4 26
                            , srcInfoPoints = []
                            }
                          (TyCon
                             SrcSpanInfo
                               { srcInfoSpan = SrcSpan "tests/examples/RCategory3.hs" 4 8 4 21
                               , srcInfoPoints = []
                               }
                             (UnQual
                                SrcSpanInfo
                                  { srcInfoSpan = SrcSpan "tests/examples/RCategory3.hs" 4 8 4 21
                                  , srcInfoPoints = []
                                  }
                                (Ident
                                   SrcSpanInfo
                                     { srcInfoSpan = SrcSpan "tests/examples/RCategory3.hs" 4 8 4 21
                                     , srcInfoPoints = []
                                     }
                                   "RCategoryCtxt")))
                          (TyCon
                             SrcSpanInfo
                               { srcInfoSpan = SrcSpan "tests/examples/RCategory3.hs" 4 22 4 26
                               , srcInfoPoints =
                                   [ SrcSpan "tests/examples/RCategory3.hs" 4 22 4 23
                                   , SrcSpan "tests/examples/RCategory3.hs" 4 23 4 25
                                   , SrcSpan "tests/examples/RCategory3.hs" 4 25 4 26
                                   ]
                               }
                             (Special
                                SrcSpanInfo
                                  { srcInfoSpan = SrcSpan "tests/examples/RCategory3.hs" 4 22 4 26
                                  , srcInfoPoints =
                                      [ SrcSpan "tests/examples/RCategory3.hs" 4 22 4 23
                                      , SrcSpan "tests/examples/RCategory3.hs" 4 23 4 25
                                      , SrcSpan "tests/examples/RCategory3.hs" 4 25 4 26
                                      ]
                                  }
                                (FunCon
                                   SrcSpanInfo
                                     { srcInfoSpan =
                                         SrcSpan "tests/examples/RCategory3.hs" 4 22 4 26
                                     , srcInfoPoints =
                                         [ SrcSpan "tests/examples/RCategory3.hs" 4 22 4 23
                                         , SrcSpan "tests/examples/RCategory3.hs" 4 23 4 25
                                         , SrcSpan "tests/examples/RCategory3.hs" 4 25 4 26
                                         ]
                                     }))))
                       (TyVar
                          SrcSpanInfo
                            { srcInfoSpan = SrcSpan "tests/examples/RCategory3.hs" 4 27 4 28
                            , srcInfoPoints = []
                            }
                          (Ident
                             SrcSpanInfo
                               { srcInfoSpan = SrcSpan "tests/examples/RCategory3.hs" 4 27 4 28
                               , srcInfoPoints = []
                               }
                             "a")))
                    (TyVar
                       SrcSpanInfo
                         { srcInfoSpan = SrcSpan "tests/examples/RCategory3.hs" 4 29 4 30
                         , srcInfoPoints = []
                         }
                       (Ident
                          SrcSpanInfo
                            { srcInfoSpan = SrcSpan "tests/examples/RCategory3.hs" 4 29 4 30
                            , srcInfoPoints = []
                            }
                          "a")))
                 (TyCon
                    SrcSpanInfo
                      { srcInfoSpan = SrcSpan "tests/examples/RCategory3.hs" 4 33 4 35
                      , srcInfoPoints =
                          [ SrcSpan "tests/examples/RCategory3.hs" 4 33 4 34
                          , SrcSpan "tests/examples/RCategory3.hs" 4 34 4 35
                          ]
                      }
                    (Special
                       SrcSpanInfo
                         { srcInfoSpan = SrcSpan "tests/examples/RCategory3.hs" 4 33 4 35
                         , srcInfoPoints =
                             [ SrcSpan "tests/examples/RCategory3.hs" 4 33 4 34
                             , SrcSpan "tests/examples/RCategory3.hs" 4 34 4 35
                             ]
                         }
                       (UnitCon
                          SrcSpanInfo
                            { srcInfoSpan = SrcSpan "tests/examples/RCategory3.hs" 4 33 4 35
                            , srcInfoPoints =
                                [ SrcSpan "tests/examples/RCategory3.hs" 4 33 4 34
                                , SrcSpan "tests/examples/RCategory3.hs" 4 34 4 35
                                ]
                            })))
             ])
      ]
  , []
  )