ParseOk
  ( Module
      SrcSpanInfo
        { srcInfoSpan = SrcSpan "tests/examples/RCategory2.hs" 1 1 7 1
        , srcInfoPoints =
            [ SrcSpan "tests/examples/RCategory2.hs" 1 1 1 1
            , SrcSpan "tests/examples/RCategory2.hs" 3 1 3 1
            , SrcSpan "tests/examples/RCategory2.hs" 3 1 3 1
            , SrcSpan "tests/examples/RCategory2.hs" 3 1 3 1
            , SrcSpan "tests/examples/RCategory2.hs" 5 1 5 1
            , SrcSpan "tests/examples/RCategory2.hs" 7 1 7 1
            , SrcSpan "tests/examples/RCategory2.hs" 7 1 7 1
            ]
        }
      Nothing
      [ LanguagePragma
          SrcSpanInfo
            { srcInfoSpan = SrcSpan "tests/examples/RCategory2.hs" 1 1 1 47
            , srcInfoPoints =
                [ SrcSpan "tests/examples/RCategory2.hs" 1 1 1 13
                , SrcSpan "tests/examples/RCategory2.hs" 1 26 1 27
                , SrcSpan "tests/examples/RCategory2.hs" 1 44 1 47
                ]
            }
          [ Ident
              SrcSpanInfo
                { srcInfoSpan = SrcSpan "tests/examples/RCategory2.hs" 1 14 1 26
                , srcInfoPoints = []
                }
              "TypeFamilies"
          , Ident
              SrcSpanInfo
                { srcInfoSpan = SrcSpan "tests/examples/RCategory2.hs" 1 28 1 43
                , srcInfoPoints = []
                }
              "ConstraintKinds"
          ]
      ]
      [ ImportDecl
          { importAnn =
              SrcSpanInfo
                { srcInfoSpan = SrcSpan "tests/examples/RCategory2.hs" 3 1 3 16
                , srcInfoPoints =
                    [ SrcSpan "tests/examples/RCategory2.hs" 3 1 3 7 ]
                }
          , importModule =
              ModuleName
                SrcSpanInfo
                  { srcInfoSpan = SrcSpan "tests/examples/RCategory2.hs" 3 8 3 16
                  , srcInfoPoints = []
                  }
                "GHC.Prim"
          , importQualified = False
          , importSrc = False
          , importSafe = False
          , importPkg = Nothing
          , importAs = Nothing
          , importSpecs = Nothing
          }
      ]
      [ ClassDecl
          SrcSpanInfo
            { srcInfoSpan = SrcSpan "tests/examples/RCategory2.hs" 5 1 6 43
            , srcInfoPoints =
                [ SrcSpan "tests/examples/RCategory2.hs" 5 1 5 6
                , SrcSpan "tests/examples/RCategory2.hs" 5 21 5 26
                , SrcSpan "tests/examples/RCategory2.hs" 6 3 6 3
                , SrcSpan "tests/examples/RCategory2.hs" 7 1 7 0
                ]
            }
          Nothing
          (DHApp
             SrcSpanInfo
               { srcInfoSpan = SrcSpan "tests/examples/RCategory2.hs" 5 7 5 20
               , srcInfoPoints = []
               }
             (DHead
                SrcSpanInfo
                  { srcInfoSpan = SrcSpan "tests/examples/RCategory2.hs" 5 7 5 16
                  , srcInfoPoints = []
                  }
                (Ident
                   SrcSpanInfo
                     { srcInfoSpan = SrcSpan "tests/examples/RCategory2.hs" 5 7 5 16
                     , srcInfoPoints = []
                     }
                   "RCategory"))
             (UnkindedVar
                SrcSpanInfo
                  { srcInfoSpan = SrcSpan "tests/examples/RCategory2.hs" 5 17 5 20
                  , srcInfoPoints = []
                  }
                (Ident
                   SrcSpanInfo
                     { srcInfoSpan = SrcSpan "tests/examples/RCategory2.hs" 5 17 5 20
                     , srcInfoPoints = []
                     }
                   "cat")))
          []
          (Just
             [ ClsTyFam
                 SrcSpanInfo
                   { srcInfoSpan = SrcSpan "tests/examples/RCategory2.hs" 6 3 6 43
                   , srcInfoPoints =
                       [ SrcSpan "tests/examples/RCategory2.hs" 6 3 6 7 ]
                   }
                 (DHApp
                    SrcSpanInfo
                      { srcInfoSpan = SrcSpan "tests/examples/RCategory2.hs" 6 8 6 29
                      , srcInfoPoints = []
                      }
                    (DHApp
                       SrcSpanInfo
                         { srcInfoSpan = SrcSpan "tests/examples/RCategory2.hs" 6 8 6 27
                         , srcInfoPoints = []
                         }
                       (DHApp
                          SrcSpanInfo
                            { srcInfoSpan = SrcSpan "tests/examples/RCategory2.hs" 6 8 6 25
                            , srcInfoPoints = []
                            }
                          (DHead
                             SrcSpanInfo
                               { srcInfoSpan = SrcSpan "tests/examples/RCategory2.hs" 6 8 6 21
                               , srcInfoPoints = []
                               }
                             (Ident
                                SrcSpanInfo
                                  { srcInfoSpan = SrcSpan "tests/examples/RCategory2.hs" 6 8 6 21
                                  , srcInfoPoints = []
                                  }
                                "RCategoryCtxt"))
                          (UnkindedVar
                             SrcSpanInfo
                               { srcInfoSpan = SrcSpan "tests/examples/RCategory2.hs" 6 22 6 25
                               , srcInfoPoints = []
                               }
                             (Ident
                                SrcSpanInfo
                                  { srcInfoSpan = SrcSpan "tests/examples/RCategory2.hs" 6 22 6 25
                                  , srcInfoPoints = []
                                  }
                                "cat")))
                       (UnkindedVar
                          SrcSpanInfo
                            { srcInfoSpan = SrcSpan "tests/examples/RCategory2.hs" 6 26 6 27
                            , srcInfoPoints = []
                            }
                          (Ident
                             SrcSpanInfo
                               { srcInfoSpan = SrcSpan "tests/examples/RCategory2.hs" 6 26 6 27
                               , srcInfoPoints = []
                               }
                             "a")))
                    (UnkindedVar
                       SrcSpanInfo
                         { srcInfoSpan = SrcSpan "tests/examples/RCategory2.hs" 6 28 6 29
                         , srcInfoPoints = []
                         }
                       (Ident
                          SrcSpanInfo
                            { srcInfoSpan = SrcSpan "tests/examples/RCategory2.hs" 6 28 6 29
                            , srcInfoPoints = []
                            }
                          "b")))
                 (Just
                    (KindSig
                       SrcSpanInfo
                         { srcInfoSpan = SrcSpan "tests/examples/RCategory2.hs" 6 30 6 43
                         , srcInfoPoints =
                             [ SrcSpan "tests/examples/RCategory2.hs" 6 30 6 32 ]
                         }
                       (KindVar
                          SrcSpanInfo
                            { srcInfoSpan = SrcSpan "tests/examples/RCategory2.hs" 6 33 6 43
                            , srcInfoPoints = []
                            }
                          (UnQual
                             SrcSpanInfo
                               { srcInfoSpan = SrcSpan "tests/examples/RCategory2.hs" 6 33 6 43
                               , srcInfoPoints = []
                               }
                             (Ident
                                SrcSpanInfo
                                  { srcInfoSpan = SrcSpan "tests/examples/RCategory2.hs" 6 33 6 43
                                  , srcInfoPoints = []
                                  }
                                "Constraint")))))
                 Nothing
             ])
      ]
  , []
  )