ParseOk (Module (SrcSpanInfo {srcInfoSpan = SrcSpan {srcSpanFilename = "tests/examples/DataKinds.hs", srcSpanStartLine = 1, srcSpanStartColumn = 1, srcSpanEndLine = 22, srcSpanEndColumn = 1}, srcInfoPoints = [SrcSpan {srcSpanFilename = "tests/examples/DataKinds.hs", srcSpanStartLine = 1, srcSpanStartColumn = 1, srcSpanEndLine = 1, srcSpanEndColumn = 1},SrcSpan {srcSpanFilename = "tests/examples/DataKinds.hs", srcSpanStartLine = 2, srcSpanStartColumn = 1, srcSpanEndLine = 2, srcSpanEndColumn = 1},SrcSpan {srcSpanFilename = "tests/examples/DataKinds.hs", srcSpanStartLine = 4, srcSpanStartColumn = 1, srcSpanEndLine = 4, srcSpanEndColumn = 1},SrcSpan {srcSpanFilename = "tests/examples/DataKinds.hs", srcSpanStartLine = 4, srcSpanStartColumn = 1, srcSpanEndLine = 4, srcSpanEndColumn = 1},SrcSpan {srcSpanFilename = "tests/examples/DataKinds.hs", srcSpanStartLine = 4, srcSpanStartColumn = 1, srcSpanEndLine = 4, srcSpanEndColumn = 1},SrcSpan {srcSpanFilename = "tests/examples/DataKinds.hs", srcSpanStartLine = 7, srcSpanStartColumn = 1, srcSpanEndLine = 7, srcSpanEndColumn = 1},SrcSpan {srcSpanFilename = "tests/examples/DataKinds.hs", srcSpanStartLine = 9, srcSpanStartColumn = 1, srcSpanEndLine = 9, srcSpanEndColumn = 1},SrcSpan {srcSpanFilename = "tests/examples/DataKinds.hs", srcSpanStartLine = 11, srcSpanStartColumn = 1, srcSpanEndLine = 11, srcSpanEndColumn = 1},SrcSpan {srcSpanFilename = "tests/examples/DataKinds.hs", srcSpanStartLine = 13, srcSpanStartColumn = 1, srcSpanEndLine = 13, srcSpanEndColumn = 1},SrcSpan {srcSpanFilename = "tests/examples/DataKinds.hs", srcSpanStartLine = 15, srcSpanStartColumn = 1, srcSpanEndLine = 15, srcSpanEndColumn = 1},SrcSpan {srcSpanFilename = "tests/examples/DataKinds.hs", srcSpanStartLine = 16, srcSpanStartColumn = 1, srcSpanEndLine = 16, srcSpanEndColumn = 1},SrcSpan {srcSpanFilename = "tests/examples/DataKinds.hs", srcSpanStartLine = 18, srcSpanStartColumn = 1, srcSpanEndLine = 18, srcSpanEndColumn = 1},SrcSpan {srcSpanFilename = "tests/examples/DataKinds.hs", srcSpanStartLine = 20, srcSpanStartColumn = 1, srcSpanEndLine = 20, srcSpanEndColumn = 1},SrcSpan {srcSpanFilename = "tests/examples/DataKinds.hs", srcSpanStartLine = 21, srcSpanStartColumn = 1, srcSpanEndLine = 21, srcSpanEndColumn = 1},SrcSpan {srcSpanFilename = "tests/examples/DataKinds.hs", srcSpanStartLine = 22, srcSpanStartColumn = 1, srcSpanEndLine = 22, srcSpanEndColumn = 1},SrcSpan {srcSpanFilename = "tests/examples/DataKinds.hs", srcSpanStartLine = 22, srcSpanStartColumn = 1, srcSpanEndLine = 22, srcSpanEndColumn = 1}]}) Nothing [LanguagePragma (SrcSpanInfo {srcInfoSpan = SrcSpan {srcSpanFilename = "tests/examples/DataKinds.hs", srcSpanStartLine = 1, srcSpanStartColumn = 1, srcSpanEndLine = 1, srcSpanEndColumn = 32}, srcInfoPoints = [SrcSpan {srcSpanFilename = "tests/examples/DataKinds.hs", srcSpanStartLine = 1, srcSpanStartColumn = 1, srcSpanEndLine = 1, srcSpanEndColumn = 13},SrcSpan {srcSpanFilename = "tests/examples/DataKinds.hs", srcSpanStartLine = 1, srcSpanStartColumn = 29, srcSpanEndLine = 1, srcSpanEndColumn = 32}]}) [Ident (SrcSpanInfo {srcInfoSpan = SrcSpan {srcSpanFilename = "tests/examples/DataKinds.hs", srcSpanStartLine = 1, srcSpanStartColumn = 14, srcSpanEndLine = 1, srcSpanEndColumn = 28}, srcInfoPoints = []}) "KindSignatures"],LanguagePragma (SrcSpanInfo {srcInfoSpan = SrcSpan {srcSpanFilename = "tests/examples/DataKinds.hs", srcSpanStartLine = 2, srcSpanStartColumn = 1, srcSpanEndLine = 2, srcSpanEndColumn = 27}, srcInfoPoints = [SrcSpan {srcSpanFilename = "tests/examples/DataKinds.hs", srcSpanStartLine = 2, srcSpanStartColumn = 1, srcSpanEndLine = 2, srcSpanEndColumn = 13},SrcSpan {srcSpanFilename = "tests/examples/DataKinds.hs", srcSpanStartLine = 2, srcSpanStartColumn = 24, srcSpanEndLine = 2, srcSpanEndColumn = 27}]}) [Ident (SrcSpanInfo {srcInfoSpan = SrcSpan {srcSpanFilename = "tests/examples/DataKinds.hs", srcSpanStartLine = 2, srcSpanStartColumn = 14, srcSpanEndLine = 2, srcSpanEndColumn = 23}, srcInfoPoints = []}) "DataKinds"]] [] [ClassDecl (SrcSpanInfo {srcInfoSpan = SrcSpan {srcSpanFilename = "tests/examples/DataKinds.hs", srcSpanStartLine = 4, srcSpanStartColumn = 1, srcSpanEndLine = 7, srcSpanEndColumn = 0}, srcInfoPoints = [SrcSpan {srcSpanFilename = "tests/examples/DataKinds.hs", srcSpanStartLine = 4, srcSpanStartColumn = 1, srcSpanEndLine = 4, srcSpanEndColumn = 6},SrcSpan {srcSpanFilename = "tests/examples/DataKinds.hs", srcSpanStartLine = 4, srcSpanStartColumn = 30, srcSpanEndLine = 4, srcSpanEndColumn = 35},SrcSpan {srcSpanFilename = "tests/examples/DataKinds.hs", srcSpanStartLine = 5, srcSpanStartColumn = 5, srcSpanEndLine = 5, srcSpanEndColumn = 5},SrcSpan {srcSpanFilename = "tests/examples/DataKinds.hs", srcSpanStartLine = 7, srcSpanStartColumn = 1, srcSpanEndLine = 7, srcSpanEndColumn = 0}]}) Nothing (DHead (SrcSpanInfo {srcInfoSpan = SrcSpan {srcSpanFilename = "tests/examples/DataKinds.hs", srcSpanStartLine = 4, srcSpanStartColumn = 7, srcSpanEndLine = 4, srcSpanEndColumn = 9}, srcInfoPoints = []}) (Ident (SrcSpanInfo {srcInfoSpan = SrcSpan {srcSpanFilename = "tests/examples/DataKinds.hs", srcSpanStartLine = 4, srcSpanStartColumn = 7, srcSpanEndLine = 4, srcSpanEndColumn = 9}, srcInfoPoints = []}) "C1") [KindedVar (SrcSpanInfo {srcInfoSpan = SrcSpan {srcSpanFilename = "tests/examples/DataKinds.hs", srcSpanStartLine = 4, srcSpanStartColumn = 10, srcSpanEndLine = 4, srcSpanEndColumn = 29}, srcInfoPoints = [SrcSpan {srcSpanFilename = "tests/examples/DataKinds.hs", srcSpanStartLine = 4, srcSpanStartColumn = 10, srcSpanEndLine = 4, srcSpanEndColumn = 11},SrcSpan {srcSpanFilename = "tests/examples/DataKinds.hs", srcSpanStartLine = 4, srcSpanStartColumn = 13, srcSpanEndLine = 4, srcSpanEndColumn = 15},SrcSpan {srcSpanFilename = "tests/examples/DataKinds.hs", srcSpanStartLine = 4, srcSpanStartColumn = 28, srcSpanEndLine = 4, srcSpanEndColumn = 29}]}) (Ident (SrcSpanInfo {srcInfoSpan = SrcSpan {srcSpanFilename = "tests/examples/DataKinds.hs", srcSpanStartLine = 4, srcSpanStartColumn = 11, srcSpanEndLine = 4, srcSpanEndColumn = 12}, srcInfoPoints = []}) "a") (KindVar (SrcSpanInfo {srcInfoSpan = SrcSpan {srcSpanFilename = "tests/examples/DataKinds.hs", srcSpanStartLine = 4, srcSpanStartColumn = 16, srcSpanEndLine = 4, srcSpanEndColumn = 20}, srcInfoPoints = []}) (UnQual (SrcSpanInfo {srcInfoSpan = SrcSpan {srcSpanFilename = "tests/examples/DataKinds.hs", srcSpanStartLine = 4, srcSpanStartColumn = 16, srcSpanEndLine = 4, srcSpanEndColumn = 20}, srcInfoPoints = []}) (Ident (SrcSpanInfo {srcInfoSpan = SrcSpan {srcSpanFilename = "tests/examples/DataKinds.hs", srcSpanStartLine = 4, srcSpanStartColumn = 16, srcSpanEndLine = 4, srcSpanEndColumn = 20}, srcInfoPoints = []}) "Bool")))]) [] (Just [ClsDecl (SrcSpanInfo {srcInfoSpan = SrcSpan {srcSpanFilename = "tests/examples/DataKinds.hs", srcSpanStartLine = 5, srcSpanStartColumn = 5, srcSpanEndLine = 5, srcSpanEndColumn = 24}, srcInfoPoints = [SrcSpan {srcSpanFilename = "tests/examples/DataKinds.hs", srcSpanStartLine = 5, srcSpanStartColumn = 7, srcSpanEndLine = 5, srcSpanEndColumn = 9}]}) (TypeSig (SrcSpanInfo {srcInfoSpan = SrcSpan {srcSpanFilename = "tests/examples/DataKinds.hs", srcSpanStartLine = 5, srcSpanStartColumn = 5, srcSpanEndLine = 5, srcSpanEndColumn = 24}, srcInfoPoints = [SrcSpan {srcSpanFilename = "tests/examples/DataKinds.hs", srcSpanStartLine = 5, srcSpanStartColumn = 7, srcSpanEndLine = 5, srcSpanEndColumn = 9}]}) [Ident (SrcSpanInfo {srcInfoSpan = SrcSpan {srcSpanFilename = "tests/examples/DataKinds.hs", srcSpanStartLine = 5, srcSpanStartColumn = 5, srcSpanEndLine = 5, srcSpanEndColumn = 6}, srcInfoPoints = []}) "c"] (TyFun (SrcSpanInfo {srcInfoSpan = SrcSpan {srcSpanFilename = "tests/examples/DataKinds.hs", srcSpanStartLine = 5, srcSpanStartColumn = 10, srcSpanEndLine = 5, srcSpanEndColumn = 24}, srcInfoPoints = [SrcSpan {srcSpanFilename = "tests/examples/DataKinds.hs", srcSpanStartLine = 5, srcSpanStartColumn = 18, srcSpanEndLine = 5, srcSpanEndColumn = 20}]}) (TyApp (SrcSpanInfo {srcInfoSpan = SrcSpan {srcSpanFilename = "tests/examples/DataKinds.hs", srcSpanStartLine = 5, srcSpanStartColumn = 10, srcSpanEndLine = 5, srcSpanEndColumn = 17}, srcInfoPoints = []}) (TyVar (SrcSpanInfo {srcInfoSpan = SrcSpan {srcSpanFilename = "tests/examples/DataKinds.hs", srcSpanStartLine = 5, srcSpanStartColumn = 10, srcSpanEndLine = 5, srcSpanEndColumn = 15}, srcInfoPoints = []}) (Ident (SrcSpanInfo {srcInfoSpan = SrcSpan {srcSpanFilename = "tests/examples/DataKinds.hs", srcSpanStartLine = 5, srcSpanStartColumn = 10, srcSpanEndLine = 5, srcSpanEndColumn = 15}, srcInfoPoints = []}) "proxy")) (TyVar (SrcSpanInfo {srcInfoSpan = SrcSpan {srcSpanFilename = "tests/examples/DataKinds.hs", srcSpanStartLine = 5, srcSpanStartColumn = 16, srcSpanEndLine = 5, srcSpanEndColumn = 17}, srcInfoPoints = []}) (Ident (SrcSpanInfo {srcInfoSpan = SrcSpan {srcSpanFilename = "tests/examples/DataKinds.hs", srcSpanStartLine = 5, srcSpanStartColumn = 16, srcSpanEndLine = 5, srcSpanEndColumn = 17}, srcInfoPoints = []}) "a"))) (TyCon (SrcSpanInfo {srcInfoSpan = SrcSpan {srcSpanFilename = "tests/examples/DataKinds.hs", srcSpanStartLine = 5, srcSpanStartColumn = 21, srcSpanEndLine = 5, srcSpanEndColumn = 24}, srcInfoPoints = []}) (UnQual (SrcSpanInfo {srcInfoSpan = SrcSpan {srcSpanFilename = "tests/examples/DataKinds.hs", srcSpanStartLine = 5, srcSpanStartColumn = 21, srcSpanEndLine = 5, srcSpanEndColumn = 24}, srcInfoPoints = []}) (Ident (SrcSpanInfo {srcInfoSpan = SrcSpan {srcSpanFilename = "tests/examples/DataKinds.hs", srcSpanStartLine = 5, srcSpanStartColumn = 21, srcSpanEndLine = 5, srcSpanEndColumn = 24}, srcInfoPoints = []}) "Int")))))]),ClassDecl (SrcSpanInfo {srcInfoSpan = SrcSpan {srcSpanFilename = "tests/examples/DataKinds.hs", srcSpanStartLine = 7, srcSpanStartColumn = 1, srcSpanEndLine = 7, srcSpanEndColumn = 22}, srcInfoPoints = [SrcSpan {srcSpanFilename = "tests/examples/DataKinds.hs", srcSpanStartLine = 7, srcSpanStartColumn = 1, srcSpanEndLine = 7, srcSpanEndColumn = 6}]}) Nothing (DHead (SrcSpanInfo {srcInfoSpan = SrcSpan {srcSpanFilename = "tests/examples/DataKinds.hs", srcSpanStartLine = 7, srcSpanStartColumn = 7, srcSpanEndLine = 7, srcSpanEndColumn = 9}, srcInfoPoints = []}) (Ident (SrcSpanInfo {srcInfoSpan = SrcSpan {srcSpanFilename = "tests/examples/DataKinds.hs", srcSpanStartLine = 7, srcSpanStartColumn = 7, srcSpanEndLine = 7, srcSpanEndColumn = 9}, srcInfoPoints = []}) "C2") [KindedVar (SrcSpanInfo {srcInfoSpan = SrcSpan {srcSpanFilename = "tests/examples/DataKinds.hs", srcSpanStartLine = 7, srcSpanStartColumn = 10, srcSpanEndLine = 7, srcSpanEndColumn = 22}, srcInfoPoints = [SrcSpan {srcSpanFilename = "tests/examples/DataKinds.hs", srcSpanStartLine = 7, srcSpanStartColumn = 10, srcSpanEndLine = 7, srcSpanEndColumn = 11},SrcSpan {srcSpanFilename = "tests/examples/DataKinds.hs", srcSpanStartLine = 7, srcSpanStartColumn = 13, srcSpanEndLine = 7, srcSpanEndColumn = 15},SrcSpan {srcSpanFilename = "tests/examples/DataKinds.hs", srcSpanStartLine = 7, srcSpanStartColumn = 21, srcSpanEndLine = 7, srcSpanEndColumn = 22}]}) (Ident (SrcSpanInfo {srcInfoSpan = SrcSpan {srcSpanFilename = "tests/examples/DataKinds.hs", srcSpanStartLine = 7, srcSpanStartColumn = 11, srcSpanEndLine = 7, srcSpanEndColumn = 12}, srcInfoPoints = []}) "a") (KindList (SrcSpanInfo {srcInfoSpan = SrcSpan {srcSpanFilename = "tests/examples/DataKinds.hs", srcSpanStartLine = 7, srcSpanStartColumn = 16, srcSpanEndLine = 7, srcSpanEndColumn = 21}, srcInfoPoints = [SrcSpan {srcSpanFilename = "tests/examples/DataKinds.hs", srcSpanStartLine = 7, srcSpanStartColumn = 16, srcSpanEndLine = 7, srcSpanEndColumn = 17},SrcSpan {srcSpanFilename = "tests/examples/DataKinds.hs", srcSpanStartLine = 7, srcSpanStartColumn = 20, srcSpanEndLine = 7, srcSpanEndColumn = 21}]}) [KindStar (SrcSpanInfo {srcInfoSpan = SrcSpan {srcSpanFilename = "tests/examples/DataKinds.hs", srcSpanStartLine = 7, srcSpanStartColumn = 18, srcSpanEndLine = 7, srcSpanEndColumn = 19}, srcInfoPoints = []})])]) [] Nothing,ClassDecl (SrcSpanInfo {srcInfoSpan = SrcSpan {srcSpanFilename = "tests/examples/DataKinds.hs", srcSpanStartLine = 9, srcSpanStartColumn = 1, srcSpanEndLine = 9, srcSpanEndColumn = 32}, srcInfoPoints = [SrcSpan {srcSpanFilename = "tests/examples/DataKinds.hs", srcSpanStartLine = 9, srcSpanStartColumn = 1, srcSpanEndLine = 9, srcSpanEndColumn = 6}]}) Nothing (DHead (SrcSpanInfo {srcInfoSpan = SrcSpan {srcSpanFilename = "tests/examples/DataKinds.hs", srcSpanStartLine = 9, srcSpanStartColumn = 7, srcSpanEndLine = 9, srcSpanEndColumn = 9}, srcInfoPoints = []}) (Ident (SrcSpanInfo {srcInfoSpan = SrcSpan {srcSpanFilename = "tests/examples/DataKinds.hs", srcSpanStartLine = 9, srcSpanStartColumn = 7, srcSpanEndLine = 9, srcSpanEndColumn = 9}, srcInfoPoints = []}) "C3") [KindedVar (SrcSpanInfo {srcInfoSpan = SrcSpan {srcSpanFilename = "tests/examples/DataKinds.hs", srcSpanStartLine = 9, srcSpanStartColumn = 10, srcSpanEndLine = 9, srcSpanEndColumn = 32}, srcInfoPoints = [SrcSpan {srcSpanFilename = "tests/examples/DataKinds.hs", srcSpanStartLine = 9, srcSpanStartColumn = 10, srcSpanEndLine = 9, srcSpanEndColumn = 11},SrcSpan {srcSpanFilename = "tests/examples/DataKinds.hs", srcSpanStartLine = 9, srcSpanStartColumn = 13, srcSpanEndLine = 9, srcSpanEndColumn = 15},SrcSpan {srcSpanFilename = "tests/examples/DataKinds.hs", srcSpanStartLine = 9, srcSpanStartColumn = 31, srcSpanEndLine = 9, srcSpanEndColumn = 32}]}) (Ident (SrcSpanInfo {srcInfoSpan = SrcSpan {srcSpanFilename = "tests/examples/DataKinds.hs", srcSpanStartLine = 9, srcSpanStartColumn = 11, srcSpanEndLine = 9, srcSpanEndColumn = 12}, srcInfoPoints = []}) "a") (KindList (SrcSpanInfo {srcInfoSpan = SrcSpan {srcSpanFilename = "tests/examples/DataKinds.hs", srcSpanStartLine = 9, srcSpanStartColumn = 16, srcSpanEndLine = 9, srcSpanEndColumn = 31}, srcInfoPoints = [SrcSpan {srcSpanFilename = "tests/examples/DataKinds.hs", srcSpanStartLine = 9, srcSpanStartColumn = 16, srcSpanEndLine = 9, srcSpanEndColumn = 17},SrcSpan {srcSpanFilename = "tests/examples/DataKinds.hs", srcSpanStartLine = 9, srcSpanStartColumn = 30, srcSpanEndLine = 9, srcSpanEndColumn = 31}]}) [KindTuple (SrcSpanInfo {srcInfoSpan = SrcSpan {srcSpanFilename = "tests/examples/DataKinds.hs", srcSpanStartLine = 9, srcSpanStartColumn = 17, srcSpanEndLine = 9, srcSpanEndColumn = 30}, srcInfoPoints = [SrcSpan {srcSpanFilename = "tests/examples/DataKinds.hs", srcSpanStartLine = 9, srcSpanStartColumn = 17, srcSpanEndLine = 9, srcSpanEndColumn = 18},SrcSpan {srcSpanFilename = "tests/examples/DataKinds.hs", srcSpanStartLine = 9, srcSpanStartColumn = 21, srcSpanEndLine = 9, srcSpanEndColumn = 22},SrcSpan {srcSpanFilename = "tests/examples/DataKinds.hs", srcSpanStartLine = 9, srcSpanStartColumn = 29, srcSpanEndLine = 9, srcSpanEndColumn = 30}]}) [KindVar (SrcSpanInfo {srcInfoSpan = SrcSpan {srcSpanFilename = "tests/examples/DataKinds.hs", srcSpanStartLine = 9, srcSpanStartColumn = 18, srcSpanEndLine = 9, srcSpanEndColumn = 21}, srcInfoPoints = []}) (UnQual (SrcSpanInfo {srcInfoSpan = SrcSpan {srcSpanFilename = "tests/examples/DataKinds.hs", srcSpanStartLine = 9, srcSpanStartColumn = 18, srcSpanEndLine = 9, srcSpanEndColumn = 21}, srcInfoPoints = []}) (Ident (SrcSpanInfo {srcInfoSpan = SrcSpan {srcSpanFilename = "tests/examples/DataKinds.hs", srcSpanStartLine = 9, srcSpanStartColumn = 18, srcSpanEndLine = 9, srcSpanEndColumn = 21}, srcInfoPoints = []}) "Int")),KindVar (SrcSpanInfo {srcInfoSpan = SrcSpan {srcSpanFilename = "tests/examples/DataKinds.hs", srcSpanStartLine = 9, srcSpanStartColumn = 23, srcSpanEndLine = 9, srcSpanEndColumn = 29}, srcInfoPoints = []}) (UnQual (SrcSpanInfo {srcInfoSpan = SrcSpan {srcSpanFilename = "tests/examples/DataKinds.hs", srcSpanStartLine = 9, srcSpanStartColumn = 23, srcSpanEndLine = 9, srcSpanEndColumn = 29}, srcInfoPoints = []}) (Ident (SrcSpanInfo {srcInfoSpan = SrcSpan {srcSpanFilename = "tests/examples/DataKinds.hs", srcSpanStartLine = 9, srcSpanStartColumn = 23, srcSpanEndLine = 9, srcSpanEndColumn = 29}, srcInfoPoints = []}) "Double"))]])]) [] Nothing,ClassDecl (SrcSpanInfo {srcInfoSpan = SrcSpan {srcSpanFilename = "tests/examples/DataKinds.hs", srcSpanStartLine = 11, srcSpanStartColumn = 1, srcSpanEndLine = 11, srcSpanEndColumn = 22}, srcInfoPoints = [SrcSpan {srcSpanFilename = "tests/examples/DataKinds.hs", srcSpanStartLine = 11, srcSpanStartColumn = 1, srcSpanEndLine = 11, srcSpanEndColumn = 6}]}) Nothing (DHead (SrcSpanInfo {srcInfoSpan = SrcSpan {srcSpanFilename = "tests/examples/DataKinds.hs", srcSpanStartLine = 11, srcSpanStartColumn = 7, srcSpanEndLine = 11, srcSpanEndColumn = 9}, srcInfoPoints = []}) (Ident (SrcSpanInfo {srcInfoSpan = SrcSpan {srcSpanFilename = "tests/examples/DataKinds.hs", srcSpanStartLine = 11, srcSpanStartColumn = 7, srcSpanEndLine = 11, srcSpanEndColumn = 9}, srcInfoPoints = []}) "C4") [KindedVar (SrcSpanInfo {srcInfoSpan = SrcSpan {srcSpanFilename = "tests/examples/DataKinds.hs", srcSpanStartLine = 11, srcSpanStartColumn = 10, srcSpanEndLine = 11, srcSpanEndColumn = 22}, srcInfoPoints = [SrcSpan {srcSpanFilename = "tests/examples/DataKinds.hs", srcSpanStartLine = 11, srcSpanStartColumn = 10, srcSpanEndLine = 11, srcSpanEndColumn = 11},SrcSpan {srcSpanFilename = "tests/examples/DataKinds.hs", srcSpanStartLine = 11, srcSpanStartColumn = 13, srcSpanEndLine = 11, srcSpanEndColumn = 15},SrcSpan {srcSpanFilename = "tests/examples/DataKinds.hs", srcSpanStartLine = 11, srcSpanStartColumn = 21, srcSpanEndLine = 11, srcSpanEndColumn = 22}]}) (Ident (SrcSpanInfo {srcInfoSpan = SrcSpan {srcSpanFilename = "tests/examples/DataKinds.hs", srcSpanStartLine = 11, srcSpanStartColumn = 11, srcSpanEndLine = 11, srcSpanEndColumn = 12}, srcInfoPoints = []}) "a") (KindParen (SrcSpanInfo {srcInfoSpan = SrcSpan {srcSpanFilename = "tests/examples/DataKinds.hs", srcSpanStartLine = 11, srcSpanStartColumn = 16, srcSpanEndLine = 11, srcSpanEndColumn = 21}, srcInfoPoints = [SrcSpan {srcSpanFilename = "tests/examples/DataKinds.hs", srcSpanStartLine = 11, srcSpanStartColumn = 16, srcSpanEndLine = 11, srcSpanEndColumn = 17},SrcSpan {srcSpanFilename = "tests/examples/DataKinds.hs", srcSpanStartLine = 11, srcSpanStartColumn = 20, srcSpanEndLine = 11, srcSpanEndColumn = 21}]}) (KindStar (SrcSpanInfo {srcInfoSpan = SrcSpan {srcSpanFilename = "tests/examples/DataKinds.hs", srcSpanStartLine = 11, srcSpanStartColumn = 18, srcSpanEndLine = 11, srcSpanEndColumn = 19}, srcInfoPoints = []})))]) [] Nothing,DataDecl (SrcSpanInfo {srcInfoSpan = SrcSpan {srcSpanFilename = "tests/examples/DataKinds.hs", srcSpanStartLine = 13, srcSpanStartColumn = 1, srcSpanEndLine = 13, srcSpanEndColumn = 5}, srcInfoPoints = []}) (DataType (SrcSpanInfo {srcInfoSpan = SrcSpan {srcSpanFilename = "tests/examples/DataKinds.hs", srcSpanStartLine = 13, srcSpanStartColumn = 1, srcSpanEndLine = 13, srcSpanEndColumn = 5}, srcInfoPoints = []})) Nothing (DHead (SrcSpanInfo {srcInfoSpan = SrcSpan {srcSpanFilename = "tests/examples/DataKinds.hs", srcSpanStartLine = 13, srcSpanStartColumn = 6, srcSpanEndLine = 13, srcSpanEndColumn = 7}, srcInfoPoints = []}) (Ident (SrcSpanInfo {srcInfoSpan = SrcSpan {srcSpanFilename = "tests/examples/DataKinds.hs", srcSpanStartLine = 13, srcSpanStartColumn = 6, srcSpanEndLine = 13, srcSpanEndColumn = 7}, srcInfoPoints = []}) "X") [KindedVar (SrcSpanInfo {srcInfoSpan = SrcSpan {srcSpanFilename = "tests/examples/DataKinds.hs", srcSpanStartLine = 13, srcSpanStartColumn = 8, srcSpanEndLine = 13, srcSpanEndColumn = 18}, srcInfoPoints = [SrcSpan {srcSpanFilename = "tests/examples/DataKinds.hs", srcSpanStartLine = 13, srcSpanStartColumn = 8, srcSpanEndLine = 13, srcSpanEndColumn = 9},SrcSpan {srcSpanFilename = "tests/examples/DataKinds.hs", srcSpanStartLine = 13, srcSpanStartColumn = 11, srcSpanEndLine = 13, srcSpanEndColumn = 13},SrcSpan {srcSpanFilename = "tests/examples/DataKinds.hs", srcSpanStartLine = 13, srcSpanStartColumn = 17, srcSpanEndLine = 13, srcSpanEndColumn = 18}]}) (Ident (SrcSpanInfo {srcInfoSpan = SrcSpan {srcSpanFilename = "tests/examples/DataKinds.hs", srcSpanStartLine = 13, srcSpanStartColumn = 9, srcSpanEndLine = 13, srcSpanEndColumn = 10}, srcInfoPoints = []}) "a") (KindList (SrcSpanInfo {srcInfoSpan = SrcSpan {srcSpanFilename = "tests/examples/DataKinds.hs", srcSpanStartLine = 13, srcSpanStartColumn = 14, srcSpanEndLine = 13, srcSpanEndColumn = 17}, srcInfoPoints = [SrcSpan {srcSpanFilename = "tests/examples/DataKinds.hs", srcSpanStartLine = 13, srcSpanStartColumn = 14, srcSpanEndLine = 13, srcSpanEndColumn = 15},SrcSpan {srcSpanFilename = "tests/examples/DataKinds.hs", srcSpanStartLine = 13, srcSpanStartColumn = 16, srcSpanEndLine = 13, srcSpanEndColumn = 17}]}) [KindStar (SrcSpanInfo {srcInfoSpan = SrcSpan {srcSpanFilename = "tests/examples/DataKinds.hs", srcSpanStartLine = 13, srcSpanStartColumn = 15, srcSpanEndLine = 13, srcSpanEndColumn = 16}, srcInfoPoints = []})])]) [] Nothing,PatBind (SrcSpanInfo {srcInfoSpan = SrcSpan {srcSpanFilename = "tests/examples/DataKinds.hs", srcSpanStartLine = 15, srcSpanStartColumn = 1, srcSpanEndLine = 15, srcSpanEndColumn = 27}, srcInfoPoints = []}) (PVar (SrcSpanInfo {srcInfoSpan = SrcSpan {srcSpanFilename = "tests/examples/DataKinds.hs", srcSpanStartLine = 15, srcSpanStartColumn = 1, srcSpanEndLine = 15, srcSpanEndColumn = 3}, srcInfoPoints = []}) (Ident (SrcSpanInfo {srcInfoSpan = SrcSpan {srcSpanFilename = "tests/examples/DataKinds.hs", srcSpanStartLine = 15, srcSpanStartColumn = 1, srcSpanEndLine = 15, srcSpanEndColumn = 3}, srcInfoPoints = []}) "x1")) Nothing (UnGuardedRhs (SrcSpanInfo {srcInfoSpan = SrcSpan {srcSpanFilename = "tests/examples/DataKinds.hs", srcSpanStartLine = 15, srcSpanStartColumn = 4, srcSpanEndLine = 15, srcSpanEndColumn = 27}, srcInfoPoints = [SrcSpan {srcSpanFilename = "tests/examples/DataKinds.hs", srcSpanStartLine = 15, srcSpanStartColumn = 4, srcSpanEndLine = 15, srcSpanEndColumn = 5}]}) (ExpTypeSig (SrcSpanInfo {srcInfoSpan = SrcSpan {srcSpanFilename = "tests/examples/DataKinds.hs", srcSpanStartLine = 15, srcSpanStartColumn = 6, srcSpanEndLine = 15, srcSpanEndColumn = 27}, srcInfoPoints = [SrcSpan {srcSpanFilename = "tests/examples/DataKinds.hs", srcSpanStartLine = 15, srcSpanStartColumn = 16, srcSpanEndLine = 15, srcSpanEndColumn = 18}]}) (Var (SrcSpanInfo {srcInfoSpan = SrcSpan {srcSpanFilename = "tests/examples/DataKinds.hs", srcSpanStartLine = 15, srcSpanStartColumn = 6, srcSpanEndLine = 15, srcSpanEndColumn = 15}, srcInfoPoints = []}) (UnQual (SrcSpanInfo {srcInfoSpan = SrcSpan {srcSpanFilename = "tests/examples/DataKinds.hs", srcSpanStartLine = 15, srcSpanStartColumn = 6, srcSpanEndLine = 15, srcSpanEndColumn = 15}, srcInfoPoints = []}) (Ident (SrcSpanInfo {srcInfoSpan = SrcSpan {srcSpanFilename = "tests/examples/DataKinds.hs", srcSpanStartLine = 15, srcSpanStartColumn = 6, srcSpanEndLine = 15, srcSpanEndColumn = 15}, srcInfoPoints = []}) "undefined"))) (TyApp (SrcSpanInfo {srcInfoSpan = SrcSpan {srcSpanFilename = "tests/examples/DataKinds.hs", srcSpanStartLine = 15, srcSpanStartColumn = 19, srcSpanEndLine = 15, srcSpanEndColumn = 27}, srcInfoPoints = []}) (TyCon (SrcSpanInfo {srcInfoSpan = SrcSpan {srcSpanFilename = "tests/examples/DataKinds.hs", srcSpanStartLine = 15, srcSpanStartColumn = 19, srcSpanEndLine = 15, srcSpanEndColumn = 20}, srcInfoPoints = []}) (UnQual (SrcSpanInfo {srcInfoSpan = SrcSpan {srcSpanFilename = "tests/examples/DataKinds.hs", srcSpanStartLine = 15, srcSpanStartColumn = 19, srcSpanEndLine = 15, srcSpanEndColumn = 20}, srcInfoPoints = []}) (Ident (SrcSpanInfo {srcInfoSpan = SrcSpan {srcSpanFilename = "tests/examples/DataKinds.hs", srcSpanStartLine = 15, srcSpanStartColumn = 19, srcSpanEndLine = 15, srcSpanEndColumn = 20}, srcInfoPoints = []}) "X"))) (TyPromoted (SrcSpanInfo {srcInfoSpan = SrcSpan {srcSpanFilename = "tests/examples/DataKinds.hs", srcSpanStartLine = 15, srcSpanStartColumn = 21, srcSpanEndLine = 15, srcSpanEndColumn = 27}, srcInfoPoints = [SrcSpan {srcSpanFilename = "tests/examples/DataKinds.hs", srcSpanStartLine = 15, srcSpanStartColumn = 21, srcSpanEndLine = 15, srcSpanEndColumn = 22},SrcSpan {srcSpanFilename = "tests/examples/DataKinds.hs", srcSpanStartLine = 15, srcSpanStartColumn = 26, srcSpanEndLine = 15, srcSpanEndColumn = 27}]}) (PromotedList (SrcSpanInfo {srcInfoSpan = SrcSpan {srcSpanFilename = "tests/examples/DataKinds.hs", srcSpanStartLine = 15, srcSpanStartColumn = 21, srcSpanEndLine = 15, srcSpanEndColumn = 27}, srcInfoPoints = [SrcSpan {srcSpanFilename = "tests/examples/DataKinds.hs", srcSpanStartLine = 15, srcSpanStartColumn = 21, srcSpanEndLine = 15, srcSpanEndColumn = 22},SrcSpan {srcSpanFilename = "tests/examples/DataKinds.hs", srcSpanStartLine = 15, srcSpanStartColumn = 26, srcSpanEndLine = 15, srcSpanEndColumn = 27}]}) True [PromotedCon (SrcSpanInfo {srcInfoSpan = SrcSpan {srcSpanFilename = "tests/examples/DataKinds.hs", srcSpanStartLine = 15, srcSpanStartColumn = 23, srcSpanEndLine = 15, srcSpanEndColumn = 26}, srcInfoPoints = []}) False (UnQual (SrcSpanInfo {srcInfoSpan = SrcSpan {srcSpanFilename = "tests/examples/DataKinds.hs", srcSpanStartLine = 15, srcSpanStartColumn = 23, srcSpanEndLine = 15, srcSpanEndColumn = 26}, srcInfoPoints = []}) (Ident (SrcSpanInfo {srcInfoSpan = SrcSpan {srcSpanFilename = "tests/examples/DataKinds.hs", srcSpanStartLine = 15, srcSpanStartColumn = 23, srcSpanEndLine = 15, srcSpanEndColumn = 26}, srcInfoPoints = []}) "Int"))]))))) Nothing,PatBind (SrcSpanInfo {srcInfoSpan = SrcSpan {srcSpanFilename = "tests/examples/DataKinds.hs", srcSpanStartLine = 16, srcSpanStartColumn = 1, srcSpanEndLine = 16, srcSpanEndColumn = 35}, srcInfoPoints = []}) (PVar (SrcSpanInfo {srcInfoSpan = SrcSpan {srcSpanFilename = "tests/examples/DataKinds.hs", srcSpanStartLine = 16, srcSpanStartColumn = 1, srcSpanEndLine = 16, srcSpanEndColumn = 3}, srcInfoPoints = []}) (Ident (SrcSpanInfo {srcInfoSpan = SrcSpan {srcSpanFilename = "tests/examples/DataKinds.hs", srcSpanStartLine = 16, srcSpanStartColumn = 1, srcSpanEndLine = 16, srcSpanEndColumn = 3}, srcInfoPoints = []}) "x2")) Nothing (UnGuardedRhs (SrcSpanInfo {srcInfoSpan = SrcSpan {srcSpanFilename = "tests/examples/DataKinds.hs", srcSpanStartLine = 16, srcSpanStartColumn = 4, srcSpanEndLine = 16, srcSpanEndColumn = 35}, srcInfoPoints = [SrcSpan {srcSpanFilename = "tests/examples/DataKinds.hs", srcSpanStartLine = 16, srcSpanStartColumn = 4, srcSpanEndLine = 16, srcSpanEndColumn = 5}]}) (ExpTypeSig (SrcSpanInfo {srcInfoSpan = SrcSpan {srcSpanFilename = "tests/examples/DataKinds.hs", srcSpanStartLine = 16, srcSpanStartColumn = 6, srcSpanEndLine = 16, srcSpanEndColumn = 35}, srcInfoPoints = [SrcSpan {srcSpanFilename = "tests/examples/DataKinds.hs", srcSpanStartLine = 16, srcSpanStartColumn = 16, srcSpanEndLine = 16, srcSpanEndColumn = 18}]}) (Var (SrcSpanInfo {srcInfoSpan = SrcSpan {srcSpanFilename = "tests/examples/DataKinds.hs", srcSpanStartLine = 16, srcSpanStartColumn = 6, srcSpanEndLine = 16, srcSpanEndColumn = 15}, srcInfoPoints = []}) (UnQual (SrcSpanInfo {srcInfoSpan = SrcSpan {srcSpanFilename = "tests/examples/DataKinds.hs", srcSpanStartLine = 16, srcSpanStartColumn = 6, srcSpanEndLine = 16, srcSpanEndColumn = 15}, srcInfoPoints = []}) (Ident (SrcSpanInfo {srcInfoSpan = SrcSpan {srcSpanFilename = "tests/examples/DataKinds.hs", srcSpanStartLine = 16, srcSpanStartColumn = 6, srcSpanEndLine = 16, srcSpanEndColumn = 15}, srcInfoPoints = []}) "undefined"))) (TyApp (SrcSpanInfo {srcInfoSpan = SrcSpan {srcSpanFilename = "tests/examples/DataKinds.hs", srcSpanStartLine = 16, srcSpanStartColumn = 19, srcSpanEndLine = 16, srcSpanEndColumn = 35}, srcInfoPoints = []}) (TyCon (SrcSpanInfo {srcInfoSpan = SrcSpan {srcSpanFilename = "tests/examples/DataKinds.hs", srcSpanStartLine = 16, srcSpanStartColumn = 19, srcSpanEndLine = 16, srcSpanEndColumn = 20}, srcInfoPoints = []}) (UnQual (SrcSpanInfo {srcInfoSpan = SrcSpan {srcSpanFilename = "tests/examples/DataKinds.hs", srcSpanStartLine = 16, srcSpanStartColumn = 19, srcSpanEndLine = 16, srcSpanEndColumn = 20}, srcInfoPoints = []}) (Ident (SrcSpanInfo {srcInfoSpan = SrcSpan {srcSpanFilename = "tests/examples/DataKinds.hs", srcSpanStartLine = 16, srcSpanStartColumn = 19, srcSpanEndLine = 16, srcSpanEndColumn = 20}, srcInfoPoints = []}) "X"))) (TyPromoted (SrcSpanInfo {srcInfoSpan = SrcSpan {srcSpanFilename = "tests/examples/DataKinds.hs", srcSpanStartLine = 16, srcSpanStartColumn = 21, srcSpanEndLine = 16, srcSpanEndColumn = 35}, srcInfoPoints = [SrcSpan {srcSpanFilename = "tests/examples/DataKinds.hs", srcSpanStartLine = 16, srcSpanStartColumn = 21, srcSpanEndLine = 16, srcSpanEndColumn = 22},SrcSpan {srcSpanFilename = "tests/examples/DataKinds.hs", srcSpanStartLine = 16, srcSpanStartColumn = 26, srcSpanEndLine = 16, srcSpanEndColumn = 27},SrcSpan {srcSpanFilename = "tests/examples/DataKinds.hs", srcSpanStartLine = 16, srcSpanStartColumn = 34, srcSpanEndLine = 16, srcSpanEndColumn = 35}]}) (PromotedList (SrcSpanInfo {srcInfoSpan = SrcSpan {srcSpanFilename = "tests/examples/DataKinds.hs", srcSpanStartLine = 16, srcSpanStartColumn = 21, srcSpanEndLine = 16, srcSpanEndColumn = 35}, srcInfoPoints = [SrcSpan {srcSpanFilename = "tests/examples/DataKinds.hs", srcSpanStartLine = 16, srcSpanStartColumn = 21, srcSpanEndLine = 16, srcSpanEndColumn = 22},SrcSpan {srcSpanFilename = "tests/examples/DataKinds.hs", srcSpanStartLine = 16, srcSpanStartColumn = 26, srcSpanEndLine = 16, srcSpanEndColumn = 27},SrcSpan {srcSpanFilename = "tests/examples/DataKinds.hs", srcSpanStartLine = 16, srcSpanStartColumn = 34, srcSpanEndLine = 16, srcSpanEndColumn = 35}]}) True [PromotedCon (SrcSpanInfo {srcInfoSpan = SrcSpan {srcSpanFilename = "tests/examples/DataKinds.hs", srcSpanStartLine = 16, srcSpanStartColumn = 23, srcSpanEndLine = 16, srcSpanEndColumn = 26}, srcInfoPoints = []}) False (UnQual (SrcSpanInfo {srcInfoSpan = SrcSpan {srcSpanFilename = "tests/examples/DataKinds.hs", srcSpanStartLine = 16, srcSpanStartColumn = 23, srcSpanEndLine = 16, srcSpanEndColumn = 26}, srcInfoPoints = []}) (Ident (SrcSpanInfo {srcInfoSpan = SrcSpan {srcSpanFilename = "tests/examples/DataKinds.hs", srcSpanStartLine = 16, srcSpanStartColumn = 23, srcSpanEndLine = 16, srcSpanEndColumn = 26}, srcInfoPoints = []}) "Int")),PromotedCon (SrcSpanInfo {srcInfoSpan = SrcSpan {srcSpanFilename = "tests/examples/DataKinds.hs", srcSpanStartLine = 16, srcSpanStartColumn = 28, srcSpanEndLine = 16, srcSpanEndColumn = 34}, srcInfoPoints = []}) False (UnQual (SrcSpanInfo {srcInfoSpan = SrcSpan {srcSpanFilename = "tests/examples/DataKinds.hs", srcSpanStartLine = 16, srcSpanStartColumn = 28, srcSpanEndLine = 16, srcSpanEndColumn = 34}, srcInfoPoints = []}) (Ident (SrcSpanInfo {srcInfoSpan = SrcSpan {srcSpanFilename = "tests/examples/DataKinds.hs", srcSpanStartLine = 16, srcSpanStartColumn = 28, srcSpanEndLine = 16, srcSpanEndColumn = 34}, srcInfoPoints = []}) "Double"))]))))) Nothing,DataDecl (SrcSpanInfo {srcInfoSpan = SrcSpan {srcSpanFilename = "tests/examples/DataKinds.hs", srcSpanStartLine = 18, srcSpanStartColumn = 1, srcSpanEndLine = 18, srcSpanEndColumn = 5}, srcInfoPoints = []}) (DataType (SrcSpanInfo {srcInfoSpan = SrcSpan {srcSpanFilename = "tests/examples/DataKinds.hs", srcSpanStartLine = 18, srcSpanStartColumn = 1, srcSpanEndLine = 18, srcSpanEndColumn = 5}, srcInfoPoints = []})) Nothing (DHead (SrcSpanInfo {srcInfoSpan = SrcSpan {srcSpanFilename = "tests/examples/DataKinds.hs", srcSpanStartLine = 18, srcSpanStartColumn = 6, srcSpanEndLine = 18, srcSpanEndColumn = 7}, srcInfoPoints = []}) (Ident (SrcSpanInfo {srcInfoSpan = SrcSpan {srcSpanFilename = "tests/examples/DataKinds.hs", srcSpanStartLine = 18, srcSpanStartColumn = 6, srcSpanEndLine = 18, srcSpanEndColumn = 7}, srcInfoPoints = []}) "Y") [KindedVar (SrcSpanInfo {srcInfoSpan = SrcSpan {srcSpanFilename = "tests/examples/DataKinds.hs", srcSpanStartLine = 18, srcSpanStartColumn = 8, srcSpanEndLine = 18, srcSpanEndColumn = 24}, srcInfoPoints = [SrcSpan {srcSpanFilename = "tests/examples/DataKinds.hs", srcSpanStartLine = 18, srcSpanStartColumn = 8, srcSpanEndLine = 18, srcSpanEndColumn = 9},SrcSpan {srcSpanFilename = "tests/examples/DataKinds.hs", srcSpanStartLine = 18, srcSpanStartColumn = 11, srcSpanEndLine = 18, srcSpanEndColumn = 13},SrcSpan {srcSpanFilename = "tests/examples/DataKinds.hs", srcSpanStartLine = 18, srcSpanStartColumn = 23, srcSpanEndLine = 18, srcSpanEndColumn = 24}]}) (Ident (SrcSpanInfo {srcInfoSpan = SrcSpan {srcSpanFilename = "tests/examples/DataKinds.hs", srcSpanStartLine = 18, srcSpanStartColumn = 9, srcSpanEndLine = 18, srcSpanEndColumn = 10}, srcInfoPoints = []}) "a") (KindTuple (SrcSpanInfo {srcInfoSpan = SrcSpan {srcSpanFilename = "tests/examples/DataKinds.hs", srcSpanStartLine = 18, srcSpanStartColumn = 14, srcSpanEndLine = 18, srcSpanEndColumn = 23}, srcInfoPoints = [SrcSpan {srcSpanFilename = "tests/examples/DataKinds.hs", srcSpanStartLine = 18, srcSpanStartColumn = 14, srcSpanEndLine = 18, srcSpanEndColumn = 15},SrcSpan {srcSpanFilename = "tests/examples/DataKinds.hs", srcSpanStartLine = 18, srcSpanStartColumn = 16, srcSpanEndLine = 18, srcSpanEndColumn = 17},SrcSpan {srcSpanFilename = "tests/examples/DataKinds.hs", srcSpanStartLine = 18, srcSpanStartColumn = 22, srcSpanEndLine = 18, srcSpanEndColumn = 23}]}) [KindStar (SrcSpanInfo {srcInfoSpan = SrcSpan {srcSpanFilename = "tests/examples/DataKinds.hs", srcSpanStartLine = 18, srcSpanStartColumn = 15, srcSpanEndLine = 18, srcSpanEndColumn = 16}, srcInfoPoints = []}),KindVar (SrcSpanInfo {srcInfoSpan = SrcSpan {srcSpanFilename = "tests/examples/DataKinds.hs", srcSpanStartLine = 18, srcSpanStartColumn = 18, srcSpanEndLine = 18, srcSpanEndColumn = 22}, srcInfoPoints = []}) (UnQual (SrcSpanInfo {srcInfoSpan = SrcSpan {srcSpanFilename = "tests/examples/DataKinds.hs", srcSpanStartLine = 18, srcSpanStartColumn = 18, srcSpanEndLine = 18, srcSpanEndColumn = 22}, srcInfoPoints = []}) (Ident (SrcSpanInfo {srcInfoSpan = SrcSpan {srcSpanFilename = "tests/examples/DataKinds.hs", srcSpanStartLine = 18, srcSpanStartColumn = 18, srcSpanEndLine = 18, srcSpanEndColumn = 22}, srcInfoPoints = []}) "Bool"))])]) [] Nothing,PatBind (SrcSpanInfo {srcInfoSpan = SrcSpan {srcSpanFilename = "tests/examples/DataKinds.hs", srcSpanStartLine = 20, srcSpanStartColumn = 1, srcSpanEndLine = 20, srcSpanEndColumn = 36}, srcInfoPoints = []}) (PVar (SrcSpanInfo {srcInfoSpan = SrcSpan {srcSpanFilename = "tests/examples/DataKinds.hs", srcSpanStartLine = 20, srcSpanStartColumn = 1, srcSpanEndLine = 20, srcSpanEndColumn = 3}, srcInfoPoints = []}) (Ident (SrcSpanInfo {srcInfoSpan = SrcSpan {srcSpanFilename = "tests/examples/DataKinds.hs", srcSpanStartLine = 20, srcSpanStartColumn = 1, srcSpanEndLine = 20, srcSpanEndColumn = 3}, srcInfoPoints = []}) "y1")) Nothing (UnGuardedRhs (SrcSpanInfo {srcInfoSpan = SrcSpan {srcSpanFilename = "tests/examples/DataKinds.hs", srcSpanStartLine = 20, srcSpanStartColumn = 4, srcSpanEndLine = 20, srcSpanEndColumn = 36}, srcInfoPoints = [SrcSpan {srcSpanFilename = "tests/examples/DataKinds.hs", srcSpanStartLine = 20, srcSpanStartColumn = 4, srcSpanEndLine = 20, srcSpanEndColumn = 5}]}) (ExpTypeSig (SrcSpanInfo {srcInfoSpan = SrcSpan {srcSpanFilename = "tests/examples/DataKinds.hs", srcSpanStartLine = 20, srcSpanStartColumn = 6, srcSpanEndLine = 20, srcSpanEndColumn = 36}, srcInfoPoints = [SrcSpan {srcSpanFilename = "tests/examples/DataKinds.hs", srcSpanStartLine = 20, srcSpanStartColumn = 16, srcSpanEndLine = 20, srcSpanEndColumn = 18}]}) (Var (SrcSpanInfo {srcInfoSpan = SrcSpan {srcSpanFilename = "tests/examples/DataKinds.hs", srcSpanStartLine = 20, srcSpanStartColumn = 6, srcSpanEndLine = 20, srcSpanEndColumn = 15}, srcInfoPoints = []}) (UnQual (SrcSpanInfo {srcInfoSpan = SrcSpan {srcSpanFilename = "tests/examples/DataKinds.hs", srcSpanStartLine = 20, srcSpanStartColumn = 6, srcSpanEndLine = 20, srcSpanEndColumn = 15}, srcInfoPoints = []}) (Ident (SrcSpanInfo {srcInfoSpan = SrcSpan {srcSpanFilename = "tests/examples/DataKinds.hs", srcSpanStartLine = 20, srcSpanStartColumn = 6, srcSpanEndLine = 20, srcSpanEndColumn = 15}, srcInfoPoints = []}) "undefined"))) (TyApp (SrcSpanInfo {srcInfoSpan = SrcSpan {srcSpanFilename = "tests/examples/DataKinds.hs", srcSpanStartLine = 20, srcSpanStartColumn = 19, srcSpanEndLine = 20, srcSpanEndColumn = 36}, srcInfoPoints = []}) (TyCon (SrcSpanInfo {srcInfoSpan = SrcSpan {srcSpanFilename = "tests/examples/DataKinds.hs", srcSpanStartLine = 20, srcSpanStartColumn = 19, srcSpanEndLine = 20, srcSpanEndColumn = 20}, srcInfoPoints = []}) (UnQual (SrcSpanInfo {srcInfoSpan = SrcSpan {srcSpanFilename = "tests/examples/DataKinds.hs", srcSpanStartLine = 20, srcSpanStartColumn = 19, srcSpanEndLine = 20, srcSpanEndColumn = 20}, srcInfoPoints = []}) (Ident (SrcSpanInfo {srcInfoSpan = SrcSpan {srcSpanFilename = "tests/examples/DataKinds.hs", srcSpanStartLine = 20, srcSpanStartColumn = 19, srcSpanEndLine = 20, srcSpanEndColumn = 20}, srcInfoPoints = []}) "Y"))) (TyPromoted (SrcSpanInfo {srcInfoSpan = SrcSpan {srcSpanFilename = "tests/examples/DataKinds.hs", srcSpanStartLine = 20, srcSpanStartColumn = 21, srcSpanEndLine = 20, srcSpanEndColumn = 36}, srcInfoPoints = [SrcSpan {srcSpanFilename = "tests/examples/DataKinds.hs", srcSpanStartLine = 20, srcSpanStartColumn = 21, srcSpanEndLine = 20, srcSpanEndColumn = 22},SrcSpan {srcSpanFilename = "tests/examples/DataKinds.hs", srcSpanStartLine = 20, srcSpanStartColumn = 29, srcSpanEndLine = 20, srcSpanEndColumn = 30},SrcSpan {srcSpanFilename = "tests/examples/DataKinds.hs", srcSpanStartLine = 20, srcSpanStartColumn = 35, srcSpanEndLine = 20, srcSpanEndColumn = 36}]}) (PromotedTuple (SrcSpanInfo {srcInfoSpan = SrcSpan {srcSpanFilename = "tests/examples/DataKinds.hs", srcSpanStartLine = 20, srcSpanStartColumn = 21, srcSpanEndLine = 20, srcSpanEndColumn = 36}, srcInfoPoints = [SrcSpan {srcSpanFilename = "tests/examples/DataKinds.hs", srcSpanStartLine = 20, srcSpanStartColumn = 21, srcSpanEndLine = 20, srcSpanEndColumn = 22},SrcSpan {srcSpanFilename = "tests/examples/DataKinds.hs", srcSpanStartLine = 20, srcSpanStartColumn = 29, srcSpanEndLine = 20, srcSpanEndColumn = 30},SrcSpan {srcSpanFilename = "tests/examples/DataKinds.hs", srcSpanStartLine = 20, srcSpanStartColumn = 35, srcSpanEndLine = 20, srcSpanEndColumn = 36}]}) [PromotedCon (SrcSpanInfo {srcInfoSpan = SrcSpan {srcSpanFilename = "tests/examples/DataKinds.hs", srcSpanStartLine = 20, srcSpanStartColumn = 23, srcSpanEndLine = 20, srcSpanEndColumn = 29}, srcInfoPoints = []}) False (UnQual (SrcSpanInfo {srcInfoSpan = SrcSpan {srcSpanFilename = "tests/examples/DataKinds.hs", srcSpanStartLine = 20, srcSpanStartColumn = 23, srcSpanEndLine = 20, srcSpanEndColumn = 29}, srcInfoPoints = []}) (Ident (SrcSpanInfo {srcInfoSpan = SrcSpan {srcSpanFilename = "tests/examples/DataKinds.hs", srcSpanStartLine = 20, srcSpanStartColumn = 23, srcSpanEndLine = 20, srcSpanEndColumn = 29}, srcInfoPoints = []}) "Double")),PromotedCon (SrcSpanInfo {srcInfoSpan = SrcSpan {srcSpanFilename = "tests/examples/DataKinds.hs", srcSpanStartLine = 20, srcSpanStartColumn = 31, srcSpanEndLine = 20, srcSpanEndColumn = 35}, srcInfoPoints = []}) False (UnQual (SrcSpanInfo {srcInfoSpan = SrcSpan {srcSpanFilename = "tests/examples/DataKinds.hs", srcSpanStartLine = 20, srcSpanStartColumn = 31, srcSpanEndLine = 20, srcSpanEndColumn = 35}, srcInfoPoints = []}) (Ident (SrcSpanInfo {srcInfoSpan = SrcSpan {srcSpanFilename = "tests/examples/DataKinds.hs", srcSpanStartLine = 20, srcSpanStartColumn = 31, srcSpanEndLine = 20, srcSpanEndColumn = 35}, srcInfoPoints = []}) "True"))]))))) Nothing,PatBind (SrcSpanInfo {srcInfoSpan = SrcSpan {srcSpanFilename = "tests/examples/DataKinds.hs", srcSpanStartLine = 21, srcSpanStartColumn = 1, srcSpanEndLine = 21, srcSpanEndColumn = 50}, srcInfoPoints = []}) (PVar (SrcSpanInfo {srcInfoSpan = SrcSpan {srcSpanFilename = "tests/examples/DataKinds.hs", srcSpanStartLine = 21, srcSpanStartColumn = 1, srcSpanEndLine = 21, srcSpanEndColumn = 3}, srcInfoPoints = []}) (Ident (SrcSpanInfo {srcInfoSpan = SrcSpan {srcSpanFilename = "tests/examples/DataKinds.hs", srcSpanStartLine = 21, srcSpanStartColumn = 1, srcSpanEndLine = 21, srcSpanEndColumn = 3}, srcInfoPoints = []}) "y2")) Nothing (UnGuardedRhs (SrcSpanInfo {srcInfoSpan = SrcSpan {srcSpanFilename = "tests/examples/DataKinds.hs", srcSpanStartLine = 21, srcSpanStartColumn = 4, srcSpanEndLine = 21, srcSpanEndColumn = 50}, srcInfoPoints = [SrcSpan {srcSpanFilename = "tests/examples/DataKinds.hs", srcSpanStartLine = 21, srcSpanStartColumn = 4, srcSpanEndLine = 21, srcSpanEndColumn = 5}]}) (ExpTypeSig (SrcSpanInfo {srcInfoSpan = SrcSpan {srcSpanFilename = "tests/examples/DataKinds.hs", srcSpanStartLine = 21, srcSpanStartColumn = 6, srcSpanEndLine = 21, srcSpanEndColumn = 50}, srcInfoPoints = [SrcSpan {srcSpanFilename = "tests/examples/DataKinds.hs", srcSpanStartLine = 21, srcSpanStartColumn = 16, srcSpanEndLine = 21, srcSpanEndColumn = 18}]}) (Var (SrcSpanInfo {srcInfoSpan = SrcSpan {srcSpanFilename = "tests/examples/DataKinds.hs", srcSpanStartLine = 21, srcSpanStartColumn = 6, srcSpanEndLine = 21, srcSpanEndColumn = 15}, srcInfoPoints = []}) (UnQual (SrcSpanInfo {srcInfoSpan = SrcSpan {srcSpanFilename = "tests/examples/DataKinds.hs", srcSpanStartLine = 21, srcSpanStartColumn = 6, srcSpanEndLine = 21, srcSpanEndColumn = 15}, srcInfoPoints = []}) (Ident (SrcSpanInfo {srcInfoSpan = SrcSpan {srcSpanFilename = "tests/examples/DataKinds.hs", srcSpanStartLine = 21, srcSpanStartColumn = 6, srcSpanEndLine = 21, srcSpanEndColumn = 15}, srcInfoPoints = []}) "undefined"))) (TyApp (SrcSpanInfo {srcInfoSpan = SrcSpan {srcSpanFilename = "tests/examples/DataKinds.hs", srcSpanStartLine = 21, srcSpanStartColumn = 19, srcSpanEndLine = 21, srcSpanEndColumn = 50}, srcInfoPoints = []}) (TyCon (SrcSpanInfo {srcInfoSpan = SrcSpan {srcSpanFilename = "tests/examples/DataKinds.hs", srcSpanStartLine = 21, srcSpanStartColumn = 19, srcSpanEndLine = 21, srcSpanEndColumn = 20}, srcInfoPoints = []}) (UnQual (SrcSpanInfo {srcInfoSpan = SrcSpan {srcSpanFilename = "tests/examples/DataKinds.hs", srcSpanStartLine = 21, srcSpanStartColumn = 19, srcSpanEndLine = 21, srcSpanEndColumn = 20}, srcInfoPoints = []}) (Ident (SrcSpanInfo {srcInfoSpan = SrcSpan {srcSpanFilename = "tests/examples/DataKinds.hs", srcSpanStartLine = 21, srcSpanStartColumn = 19, srcSpanEndLine = 21, srcSpanEndColumn = 20}, srcInfoPoints = []}) "Y"))) (TyPromoted (SrcSpanInfo {srcInfoSpan = SrcSpan {srcSpanFilename = "tests/examples/DataKinds.hs", srcSpanStartLine = 21, srcSpanStartColumn = 21, srcSpanEndLine = 21, srcSpanEndColumn = 50}, srcInfoPoints = [SrcSpan {srcSpanFilename = "tests/examples/DataKinds.hs", srcSpanStartLine = 21, srcSpanStartColumn = 21, srcSpanEndLine = 21, srcSpanEndColumn = 22},SrcSpan {srcSpanFilename = "tests/examples/DataKinds.hs", srcSpanStartLine = 21, srcSpanStartColumn = 29, srcSpanEndLine = 21, srcSpanEndColumn = 30},SrcSpan {srcSpanFilename = "tests/examples/DataKinds.hs", srcSpanStartLine = 21, srcSpanStartColumn = 49, srcSpanEndLine = 21, srcSpanEndColumn = 50}]}) (PromotedTuple (SrcSpanInfo {srcInfoSpan = SrcSpan {srcSpanFilename = "tests/examples/DataKinds.hs", srcSpanStartLine = 21, srcSpanStartColumn = 21, srcSpanEndLine = 21, srcSpanEndColumn = 50}, srcInfoPoints = [SrcSpan {srcSpanFilename = "tests/examples/DataKinds.hs", srcSpanStartLine = 21, srcSpanStartColumn = 21, srcSpanEndLine = 21, srcSpanEndColumn = 22},SrcSpan {srcSpanFilename = "tests/examples/DataKinds.hs", srcSpanStartLine = 21, srcSpanStartColumn = 29, srcSpanEndLine = 21, srcSpanEndColumn = 30},SrcSpan {srcSpanFilename = "tests/examples/DataKinds.hs", srcSpanStartLine = 21, srcSpanStartColumn = 49, srcSpanEndLine = 21, srcSpanEndColumn = 50}]}) [PromotedCon (SrcSpanInfo {srcInfoSpan = SrcSpan {srcSpanFilename = "tests/examples/DataKinds.hs", srcSpanStartLine = 21, srcSpanStartColumn = 23, srcSpanEndLine = 21, srcSpanEndColumn = 29}, srcInfoPoints = []}) False (UnQual (SrcSpanInfo {srcInfoSpan = SrcSpan {srcSpanFilename = "tests/examples/DataKinds.hs", srcSpanStartLine = 21, srcSpanStartColumn = 23, srcSpanEndLine = 21, srcSpanEndColumn = 29}, srcInfoPoints = []}) (Ident (SrcSpanInfo {srcInfoSpan = SrcSpan {srcSpanFilename = "tests/examples/DataKinds.hs", srcSpanStartLine = 21, srcSpanStartColumn = 23, srcSpanEndLine = 21, srcSpanEndColumn = 29}, srcInfoPoints = []}) "Double")),PromotedCon (SrcSpanInfo {srcInfoSpan = SrcSpan {srcSpanFilename = "tests/examples/DataKinds.hs", srcSpanStartLine = 21, srcSpanStartColumn = 31, srcSpanEndLine = 21, srcSpanEndColumn = 37}, srcInfoPoints = [SrcSpan {srcSpanFilename = "tests/examples/DataKinds.hs", srcSpanStartLine = 21, srcSpanStartColumn = 31, srcSpanEndLine = 21, srcSpanEndColumn = 32}]}) True (UnQual (SrcSpanInfo {srcInfoSpan = SrcSpan {srcSpanFilename = "tests/examples/DataKinds.hs", srcSpanStartLine = 21, srcSpanStartColumn = 32, srcSpanEndLine = 21, srcSpanEndColumn = 37}, srcInfoPoints = []}) (Ident (SrcSpanInfo {srcInfoSpan = SrcSpan {srcSpanFilename = "tests/examples/DataKinds.hs", srcSpanStartLine = 21, srcSpanStartColumn = 32, srcSpanEndLine = 21, srcSpanEndColumn = 37}, srcInfoPoints = []}) "False"))]))))) Nothing],[Comment True (SrcSpan {srcSpanFilename = "tests/examples/DataKinds.hs", srcSpanStartLine = 4, srcSpanStartColumn = 21, srcSpanEndLine = 4, srcSpanEndColumn = 28}) " 1 ",Comment True (SrcSpan {srcSpanFilename = "tests/examples/DataKinds.hs", srcSpanStartLine = 21, srcSpanStartColumn = 38, srcSpanEndLine = 21, srcSpanEndColumn = 49}) "comment"])