ParseOk (Module (SrcSpanInfo {srcInfoSpan = SrcSpan {srcSpanFilename = "tests/examples/TypeFunctions.hs", srcSpanStartLine = 1, srcSpanStartColumn = 1, srcSpanEndLine = 8, srcSpanEndColumn = 1}, srcInfoPoints = [SrcSpan {srcSpanFilename = "tests/examples/TypeFunctions.hs", srcSpanStartLine = 1, srcSpanStartColumn = 1, srcSpanEndLine = 1, srcSpanEndColumn = 1},SrcSpan {srcSpanFilename = "tests/examples/TypeFunctions.hs", srcSpanStartLine = 3, srcSpanStartColumn = 1, srcSpanEndLine = 3, srcSpanEndColumn = 1},SrcSpan {srcSpanFilename = "tests/examples/TypeFunctions.hs", srcSpanStartLine = 3, srcSpanStartColumn = 1, srcSpanEndLine = 3, srcSpanEndColumn = 1},SrcSpan {srcSpanFilename = "tests/examples/TypeFunctions.hs", srcSpanStartLine = 3, srcSpanStartColumn = 1, srcSpanEndLine = 3, srcSpanEndColumn = 1},SrcSpan {srcSpanFilename = "tests/examples/TypeFunctions.hs", srcSpanStartLine = 5, srcSpanStartColumn = 1, srcSpanEndLine = 5, srcSpanEndColumn = 1},SrcSpan {srcSpanFilename = "tests/examples/TypeFunctions.hs", srcSpanStartLine = 7, srcSpanStartColumn = 1, srcSpanEndLine = 7, srcSpanEndColumn = 1},SrcSpan {srcSpanFilename = "tests/examples/TypeFunctions.hs", srcSpanStartLine = 8, srcSpanStartColumn = 1, srcSpanEndLine = 8, srcSpanEndColumn = 1},SrcSpan {srcSpanFilename = "tests/examples/TypeFunctions.hs", srcSpanStartLine = 8, srcSpanStartColumn = 1, srcSpanEndLine = 8, srcSpanEndColumn = 1}]}) Nothing [LanguagePragma (SrcSpanInfo {srcInfoSpan = SrcSpan {srcSpanFilename = "tests/examples/TypeFunctions.hs", srcSpanStartLine = 1, srcSpanStartColumn = 1, srcSpanEndLine = 1, srcSpanEndColumn = 46}, srcInfoPoints = [SrcSpan {srcSpanFilename = "tests/examples/TypeFunctions.hs", srcSpanStartLine = 1, srcSpanStartColumn = 1, srcSpanEndLine = 1, srcSpanEndColumn = 13},SrcSpan {srcSpanFilename = "tests/examples/TypeFunctions.hs", srcSpanStartLine = 1, srcSpanStartColumn = 26, srcSpanEndLine = 1, srcSpanEndColumn = 27},SrcSpan {srcSpanFilename = "tests/examples/TypeFunctions.hs", srcSpanStartLine = 1, srcSpanStartColumn = 43, srcSpanEndLine = 1, srcSpanEndColumn = 46}]}) [Ident (SrcSpanInfo {srcInfoSpan = SrcSpan {srcSpanFilename = "tests/examples/TypeFunctions.hs", srcSpanStartLine = 1, srcSpanStartColumn = 14, srcSpanEndLine = 1, srcSpanEndColumn = 26}, srcInfoPoints = []}) "TypeFamilies",Ident (SrcSpanInfo {srcInfoSpan = SrcSpan {srcSpanFilename = "tests/examples/TypeFunctions.hs", srcSpanStartLine = 1, srcSpanStartColumn = 28, srcSpanEndLine = 1, srcSpanEndColumn = 42}, srcInfoPoints = []}) "KindSignatures"]] [] [DataDecl (SrcSpanInfo {srcInfoSpan = SrcSpan {srcSpanFilename = "tests/examples/TypeFunctions.hs", srcSpanStartLine = 3, srcSpanStartColumn = 1, srcSpanEndLine = 3, srcSpanEndColumn = 13}, srcInfoPoints = [SrcSpan {srcSpanFilename = "tests/examples/TypeFunctions.hs", srcSpanStartLine = 3, srcSpanStartColumn = 9, srcSpanEndLine = 3, srcSpanEndColumn = 10}]}) (DataType (SrcSpanInfo {srcInfoSpan = SrcSpan {srcSpanFilename = "tests/examples/TypeFunctions.hs", srcSpanStartLine = 3, srcSpanStartColumn = 1, srcSpanEndLine = 3, srcSpanEndColumn = 5}, srcInfoPoints = []})) Nothing (DHead (SrcSpanInfo {srcInfoSpan = SrcSpan {srcSpanFilename = "tests/examples/TypeFunctions.hs", srcSpanStartLine = 3, srcSpanStartColumn = 6, srcSpanEndLine = 3, srcSpanEndColumn = 8}, srcInfoPoints = []}) (Ident (SrcSpanInfo {srcInfoSpan = SrcSpan {srcSpanFilename = "tests/examples/TypeFunctions.hs", srcSpanStartLine = 3, srcSpanStartColumn = 6, srcSpanEndLine = 3, srcSpanEndColumn = 8}, srcInfoPoints = []}) "Id") []) [QualConDecl (SrcSpanInfo {srcInfoSpan = SrcSpan {srcSpanFilename = "tests/examples/TypeFunctions.hs", srcSpanStartLine = 3, srcSpanStartColumn = 11, srcSpanEndLine = 3, srcSpanEndColumn = 13}, srcInfoPoints = []}) Nothing Nothing (ConDecl (SrcSpanInfo {srcInfoSpan = SrcSpan {srcSpanFilename = "tests/examples/TypeFunctions.hs", srcSpanStartLine = 3, srcSpanStartColumn = 11, srcSpanEndLine = 3, srcSpanEndColumn = 13}, srcInfoPoints = []}) (Ident (SrcSpanInfo {srcInfoSpan = SrcSpan {srcSpanFilename = "tests/examples/TypeFunctions.hs", srcSpanStartLine = 3, srcSpanStartColumn = 11, srcSpanEndLine = 3, srcSpanEndColumn = 13}, srcInfoPoints = []}) "Id") [])] Nothing,TypeFamDecl (SrcSpanInfo {srcInfoSpan = SrcSpan {srcSpanFilename = "tests/examples/TypeFunctions.hs", srcSpanStartLine = 5, srcSpanStartColumn = 1, srcSpanEndLine = 5, srcSpanEndColumn = 37}, srcInfoPoints = [SrcSpan {srcSpanFilename = "tests/examples/TypeFunctions.hs", srcSpanStartLine = 5, srcSpanStartColumn = 1, srcSpanEndLine = 5, srcSpanEndColumn = 5},SrcSpan {srcSpanFilename = "tests/examples/TypeFunctions.hs", srcSpanStartLine = 5, srcSpanStartColumn = 6, srcSpanEndLine = 5, srcSpanEndColumn = 12},SrcSpan {srcSpanFilename = "tests/examples/TypeFunctions.hs", srcSpanStartLine = 5, srcSpanStartColumn = 33, srcSpanEndLine = 5, srcSpanEndColumn = 35}]}) (DHead (SrcSpanInfo {srcInfoSpan = SrcSpan {srcSpanFilename = "tests/examples/TypeFunctions.hs", srcSpanStartLine = 5, srcSpanStartColumn = 13, srcSpanEndLine = 5, srcSpanEndColumn = 16}, srcInfoPoints = []}) (Ident (SrcSpanInfo {srcInfoSpan = SrcSpan {srcSpanFilename = "tests/examples/TypeFunctions.hs", srcSpanStartLine = 5, srcSpanStartColumn = 13, srcSpanEndLine = 5, srcSpanEndColumn = 16}, srcInfoPoints = []}) "Rep") [KindedVar (SrcSpanInfo {srcInfoSpan = SrcSpan {srcSpanFilename = "tests/examples/TypeFunctions.hs", srcSpanStartLine = 5, srcSpanStartColumn = 17, srcSpanEndLine = 5, srcSpanEndColumn = 30}, srcInfoPoints = [SrcSpan {srcSpanFilename = "tests/examples/TypeFunctions.hs", srcSpanStartLine = 5, srcSpanStartColumn = 17, srcSpanEndLine = 5, srcSpanEndColumn = 18},SrcSpan {srcSpanFilename = "tests/examples/TypeFunctions.hs", srcSpanStartLine = 5, srcSpanStartColumn = 20, srcSpanEndLine = 5, srcSpanEndColumn = 22},SrcSpan {srcSpanFilename = "tests/examples/TypeFunctions.hs", srcSpanStartLine = 5, srcSpanStartColumn = 29, srcSpanEndLine = 5, srcSpanEndColumn = 30}]}) (Ident (SrcSpanInfo {srcInfoSpan = SrcSpan {srcSpanFilename = "tests/examples/TypeFunctions.hs", srcSpanStartLine = 5, srcSpanStartColumn = 18, srcSpanEndLine = 5, srcSpanEndColumn = 19}, srcInfoPoints = []}) "f") (KindFn (SrcSpanInfo {srcInfoSpan = SrcSpan {srcSpanFilename = "tests/examples/TypeFunctions.hs", srcSpanStartLine = 5, srcSpanStartColumn = 23, srcSpanEndLine = 5, srcSpanEndColumn = 29}, srcInfoPoints = [SrcSpan {srcSpanFilename = "tests/examples/TypeFunctions.hs", srcSpanStartLine = 5, srcSpanStartColumn = 25, srcSpanEndLine = 5, srcSpanEndColumn = 27}]}) (KindStar (SrcSpanInfo {srcInfoSpan = SrcSpan {srcSpanFilename = "tests/examples/TypeFunctions.hs", srcSpanStartLine = 5, srcSpanStartColumn = 23, srcSpanEndLine = 5, srcSpanEndColumn = 24}, srcInfoPoints = []})) (KindStar (SrcSpanInfo {srcInfoSpan = SrcSpan {srcSpanFilename = "tests/examples/TypeFunctions.hs", srcSpanStartLine = 5, srcSpanStartColumn = 28, srcSpanEndLine = 5, srcSpanEndColumn = 29}, srcInfoPoints = []}))),UnkindedVar (SrcSpanInfo {srcInfoSpan = SrcSpan {srcSpanFilename = "tests/examples/TypeFunctions.hs", srcSpanStartLine = 5, srcSpanStartColumn = 31, srcSpanEndLine = 5, srcSpanEndColumn = 32}, srcInfoPoints = []}) (Ident (SrcSpanInfo {srcInfoSpan = SrcSpan {srcSpanFilename = "tests/examples/TypeFunctions.hs", srcSpanStartLine = 5, srcSpanStartColumn = 31, srcSpanEndLine = 5, srcSpanEndColumn = 32}, srcInfoPoints = []}) "x")]) (Just (KindStar (SrcSpanInfo {srcInfoSpan = SrcSpan {srcSpanFilename = "tests/examples/TypeFunctions.hs", srcSpanStartLine = 5, srcSpanStartColumn = 36, srcSpanEndLine = 5, srcSpanEndColumn = 37}, srcInfoPoints = []}))),TypeInsDecl (SrcSpanInfo {srcInfoSpan = SrcSpan {srcSpanFilename = "tests/examples/TypeFunctions.hs", srcSpanStartLine = 7, srcSpanStartColumn = 1, srcSpanEndLine = 7, srcSpanEndColumn = 27}, srcInfoPoints = [SrcSpan {srcSpanFilename = "tests/examples/TypeFunctions.hs", srcSpanStartLine = 7, srcSpanStartColumn = 1, srcSpanEndLine = 7, srcSpanEndColumn = 5},SrcSpan {srcSpanFilename = "tests/examples/TypeFunctions.hs", srcSpanStartLine = 7, srcSpanStartColumn = 6, srcSpanEndLine = 7, srcSpanEndColumn = 14},SrcSpan {srcSpanFilename = "tests/examples/TypeFunctions.hs", srcSpanStartLine = 7, srcSpanStartColumn = 24, srcSpanEndLine = 7, srcSpanEndColumn = 25}]}) (TyApp (SrcSpanInfo {srcInfoSpan = SrcSpan {srcSpanFilename = "tests/examples/TypeFunctions.hs", srcSpanStartLine = 7, srcSpanStartColumn = 15, srcSpanEndLine = 7, srcSpanEndColumn = 23}, srcInfoPoints = []}) (TyApp (SrcSpanInfo {srcInfoSpan = SrcSpan {srcSpanFilename = "tests/examples/TypeFunctions.hs", srcSpanStartLine = 7, srcSpanStartColumn = 15, srcSpanEndLine = 7, srcSpanEndColumn = 21}, srcInfoPoints = []}) (TyCon (SrcSpanInfo {srcInfoSpan = SrcSpan {srcSpanFilename = "tests/examples/TypeFunctions.hs", srcSpanStartLine = 7, srcSpanStartColumn = 15, srcSpanEndLine = 7, srcSpanEndColumn = 18}, srcInfoPoints = []}) (UnQual (SrcSpanInfo {srcInfoSpan = SrcSpan {srcSpanFilename = "tests/examples/TypeFunctions.hs", srcSpanStartLine = 7, srcSpanStartColumn = 15, srcSpanEndLine = 7, srcSpanEndColumn = 18}, srcInfoPoints = []}) (Ident (SrcSpanInfo {srcInfoSpan = SrcSpan {srcSpanFilename = "tests/examples/TypeFunctions.hs", srcSpanStartLine = 7, srcSpanStartColumn = 15, srcSpanEndLine = 7, srcSpanEndColumn = 18}, srcInfoPoints = []}) "Rep"))) (TyCon (SrcSpanInfo {srcInfoSpan = SrcSpan {srcSpanFilename = "tests/examples/TypeFunctions.hs", srcSpanStartLine = 7, srcSpanStartColumn = 19, srcSpanEndLine = 7, srcSpanEndColumn = 21}, srcInfoPoints = []}) (UnQual (SrcSpanInfo {srcInfoSpan = SrcSpan {srcSpanFilename = "tests/examples/TypeFunctions.hs", srcSpanStartLine = 7, srcSpanStartColumn = 19, srcSpanEndLine = 7, srcSpanEndColumn = 21}, srcInfoPoints = []}) (Ident (SrcSpanInfo {srcInfoSpan = SrcSpan {srcSpanFilename = "tests/examples/TypeFunctions.hs", srcSpanStartLine = 7, srcSpanStartColumn = 19, srcSpanEndLine = 7, srcSpanEndColumn = 21}, srcInfoPoints = []}) "Id")))) (TyVar (SrcSpanInfo {srcInfoSpan = SrcSpan {srcSpanFilename = "tests/examples/TypeFunctions.hs", srcSpanStartLine = 7, srcSpanStartColumn = 22, srcSpanEndLine = 7, srcSpanEndColumn = 23}, srcInfoPoints = []}) (Ident (SrcSpanInfo {srcInfoSpan = SrcSpan {srcSpanFilename = "tests/examples/TypeFunctions.hs", srcSpanStartLine = 7, srcSpanStartColumn = 22, srcSpanEndLine = 7, srcSpanEndColumn = 23}, srcInfoPoints = []}) "x"))) (TyVar (SrcSpanInfo {srcInfoSpan = SrcSpan {srcSpanFilename = "tests/examples/TypeFunctions.hs", srcSpanStartLine = 7, srcSpanStartColumn = 26, srcSpanEndLine = 7, srcSpanEndColumn = 27}, srcInfoPoints = []}) (Ident (SrcSpanInfo {srcInfoSpan = SrcSpan {srcSpanFilename = "tests/examples/TypeFunctions.hs", srcSpanStartLine = 7, srcSpanStartColumn = 26, srcSpanEndLine = 7, srcSpanEndColumn = 27}, srcInfoPoints = []}) "x"))],[])