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