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,SrcSpan "tests/examples/RCategory2.hs" 6 30 6 32]}) (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 (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"))))])],[])