ParseOk (Module (SrcSpanInfo {srcInfoSpan = SrcSpan "tests/examples/DataKinds2.hs" 1 1 10 1, srcInfoPoints = [SrcSpan "tests/examples/DataKinds2.hs" 1 1 1 1,SrcSpan "tests/examples/DataKinds2.hs" 3 1 3 1,SrcSpan "tests/examples/DataKinds2.hs" 3 1 3 1,SrcSpan "tests/examples/DataKinds2.hs" 3 1 3 1,SrcSpan "tests/examples/DataKinds2.hs" 5 1 5 1,SrcSpan "tests/examples/DataKinds2.hs" 7 1 7 1,SrcSpan "tests/examples/DataKinds2.hs" 9 1 9 1,SrcSpan "tests/examples/DataKinds2.hs" 10 1 10 1,SrcSpan "tests/examples/DataKinds2.hs" 10 1 10 1]}) Nothing [LanguagePragma (SrcSpanInfo {srcInfoSpan = SrcSpan "tests/examples/DataKinds2.hs" 1 1 1 27, srcInfoPoints = [SrcSpan "tests/examples/DataKinds2.hs" 1 1 1 13,SrcSpan "tests/examples/DataKinds2.hs" 1 24 1 27]}) [Ident (SrcSpanInfo {srcInfoSpan = SrcSpan "tests/examples/DataKinds2.hs" 1 14 1 23, srcInfoPoints = []}) "DataKinds"]] [] [DataDecl (SrcSpanInfo {srcInfoSpan = SrcSpan "tests/examples/DataKinds2.hs" 3 1 3 17, srcInfoPoints = [SrcSpan "tests/examples/DataKinds2.hs" 3 12 3 13]}) (DataType (SrcSpanInfo {srcInfoSpan = SrcSpan "tests/examples/DataKinds2.hs" 3 1 3 5, srcInfoPoints = []})) Nothing (DHApp (SrcSpanInfo {srcInfoSpan = SrcSpan "tests/examples/DataKinds2.hs" 3 6 3 11, srcInfoPoints = []}) (DHead (SrcSpanInfo {srcInfoSpan = SrcSpan "tests/examples/DataKinds2.hs" 3 6 3 9, srcInfoPoints = []}) (Ident (SrcSpanInfo {srcInfoSpan = SrcSpan "tests/examples/DataKinds2.hs" 3 6 3 9, srcInfoPoints = []}) "Foo")) (UnkindedVar (SrcSpanInfo {srcInfoSpan = SrcSpan "tests/examples/DataKinds2.hs" 3 10 3 11, srcInfoPoints = []}) (Ident (SrcSpanInfo {srcInfoSpan = SrcSpan "tests/examples/DataKinds2.hs" 3 10 3 11, srcInfoPoints = []}) "a"))) [QualConDecl (SrcSpanInfo {srcInfoSpan = SrcSpan "tests/examples/DataKinds2.hs" 3 14 3 17, srcInfoPoints = []}) Nothing Nothing (ConDecl (SrcSpanInfo {srcInfoSpan = SrcSpan "tests/examples/DataKinds2.hs" 3 14 3 17, srcInfoPoints = []}) (Ident (SrcSpanInfo {srcInfoSpan = SrcSpan "tests/examples/DataKinds2.hs" 3 14 3 17, srcInfoPoints = []}) "Foo") [])] Nothing,TypeDecl (SrcSpanInfo {srcInfoSpan = SrcSpan "tests/examples/DataKinds2.hs" 5 1 5 20, srcInfoPoints = [SrcSpan "tests/examples/DataKinds2.hs" 5 1 5 5,SrcSpan "tests/examples/DataKinds2.hs" 5 11 5 12]}) (DHead (SrcSpanInfo {srcInfoSpan = SrcSpan "tests/examples/DataKinds2.hs" 5 6 5 10, srcInfoPoints = []}) (Ident (SrcSpanInfo {srcInfoSpan = SrcSpan "tests/examples/DataKinds2.hs" 5 6 5 10, srcInfoPoints = []}) "FooB")) (TyApp (SrcSpanInfo {srcInfoSpan = SrcSpan "tests/examples/DataKinds2.hs" 5 13 5 20, srcInfoPoints = []}) (TyCon (SrcSpanInfo {srcInfoSpan = SrcSpan "tests/examples/DataKinds2.hs" 5 13 5 16, srcInfoPoints = []}) (UnQual (SrcSpanInfo {srcInfoSpan = SrcSpan "tests/examples/DataKinds2.hs" 5 13 5 16, srcInfoPoints = []}) (Ident (SrcSpanInfo {srcInfoSpan = SrcSpan "tests/examples/DataKinds2.hs" 5 13 5 16, srcInfoPoints = []}) "Foo"))) (TyPromoted (SrcSpanInfo {srcInfoSpan = SrcSpan "tests/examples/DataKinds2.hs" 5 17 5 20, srcInfoPoints = []}) (PromotedString (SrcSpanInfo {srcInfoSpan = SrcSpan "tests/examples/DataKinds2.hs" 5 17 5 20, srcInfoPoints = []}) "a" "a"))),TypeDecl (SrcSpanInfo {srcInfoSpan = SrcSpan "tests/examples/DataKinds2.hs" 7 1 7 18, srcInfoPoints = [SrcSpan "tests/examples/DataKinds2.hs" 7 1 7 5,SrcSpan "tests/examples/DataKinds2.hs" 7 11 7 12]}) (DHead (SrcSpanInfo {srcInfoSpan = SrcSpan "tests/examples/DataKinds2.hs" 7 6 7 10, srcInfoPoints = []}) (Ident (SrcSpanInfo {srcInfoSpan = SrcSpan "tests/examples/DataKinds2.hs" 7 6 7 10, srcInfoPoints = []}) "FooC")) (TyApp (SrcSpanInfo {srcInfoSpan = SrcSpan "tests/examples/DataKinds2.hs" 7 13 7 18, srcInfoPoints = []}) (TyCon (SrcSpanInfo {srcInfoSpan = SrcSpan "tests/examples/DataKinds2.hs" 7 13 7 16, srcInfoPoints = []}) (UnQual (SrcSpanInfo {srcInfoSpan = SrcSpan "tests/examples/DataKinds2.hs" 7 13 7 16, srcInfoPoints = []}) (Ident (SrcSpanInfo {srcInfoSpan = SrcSpan "tests/examples/DataKinds2.hs" 7 13 7 16, srcInfoPoints = []}) "Foo"))) (TyPromoted (SrcSpanInfo {srcInfoSpan = SrcSpan "tests/examples/DataKinds2.hs" 7 17 7 18, srcInfoPoints = []}) (PromotedInteger (SrcSpanInfo {srcInfoSpan = SrcSpan "tests/examples/DataKinds2.hs" 7 17 7 18, srcInfoPoints = []}) 1 "1"))),InstDecl (SrcSpanInfo {srcInfoSpan = SrcSpan "tests/examples/DataKinds2.hs" 9 1 10 0, srcInfoPoints = [SrcSpan "tests/examples/DataKinds2.hs" 9 1 9 9,SrcSpan "tests/examples/DataKinds2.hs" 9 27 9 32,SrcSpan "tests/examples/DataKinds2.hs" 10 1 10 1,SrcSpan "tests/examples/DataKinds2.hs" 10 1 10 1,SrcSpan "tests/examples/DataKinds2.hs" 10 0 10 0]}) Nothing (IRule (SrcSpanInfo {srcInfoSpan = SrcSpan "tests/examples/DataKinds2.hs" 9 10 9 26, srcInfoPoints = []}) Nothing Nothing (IHApp (SrcSpanInfo {srcInfoSpan = SrcSpan "tests/examples/DataKinds2.hs" 9 10 9 26, srcInfoPoints = []}) (IHCon (SrcSpanInfo {srcInfoSpan = SrcSpan "tests/examples/DataKinds2.hs" 9 10 9 14, srcInfoPoints = []}) (UnQual (SrcSpanInfo {srcInfoSpan = SrcSpan "tests/examples/DataKinds2.hs" 9 10 9 14, srcInfoPoints = []}) (Ident (SrcSpanInfo {srcInfoSpan = SrcSpan "tests/examples/DataKinds2.hs" 9 10 9 14, srcInfoPoints = []}) "Show"))) (TyParen (SrcSpanInfo {srcInfoSpan = SrcSpan "tests/examples/DataKinds2.hs" 9 15 9 26, srcInfoPoints = [SrcSpan "tests/examples/DataKinds2.hs" 9 15 9 16,SrcSpan "tests/examples/DataKinds2.hs" 9 25 9 26]}) (TyApp (SrcSpanInfo {srcInfoSpan = SrcSpan "tests/examples/DataKinds2.hs" 9 16 9 25, srcInfoPoints = []}) (TyCon (SrcSpanInfo {srcInfoSpan = SrcSpan "tests/examples/DataKinds2.hs" 9 16 9 19, srcInfoPoints = []}) (UnQual (SrcSpanInfo {srcInfoSpan = SrcSpan "tests/examples/DataKinds2.hs" 9 16 9 19, srcInfoPoints = []}) (Ident (SrcSpanInfo {srcInfoSpan = SrcSpan "tests/examples/DataKinds2.hs" 9 16 9 19, srcInfoPoints = []}) "Foo"))) (TyPromoted (SrcSpanInfo {srcInfoSpan = SrcSpan "tests/examples/DataKinds2.hs" 9 20 9 25, srcInfoPoints = []}) (PromotedString (SrcSpanInfo {srcInfoSpan = SrcSpan "tests/examples/DataKinds2.hs" 9 20 9 25, srcInfoPoints = []}) "bar" "bar")))))) (Just [])],[])