ParseOk (Module (SrcSpanInfo {srcInfoSpan = SrcSpan "tests/examples/ConstraintKinds.hs" 1 1 11 1, srcInfoPoints = [SrcSpan "tests/examples/ConstraintKinds.hs" 1 1 1 1,SrcSpan "tests/examples/ConstraintKinds.hs" 2 1 2 1,SrcSpan "tests/examples/ConstraintKinds.hs" 3 1 3 1,SrcSpan "tests/examples/ConstraintKinds.hs" 4 1 4 1,SrcSpan "tests/examples/ConstraintKinds.hs" 4 1 4 1,SrcSpan "tests/examples/ConstraintKinds.hs" 4 1 4 1,SrcSpan "tests/examples/ConstraintKinds.hs" 6 1 6 1,SrcSpan "tests/examples/ConstraintKinds.hs" 7 1 7 1,SrcSpan "tests/examples/ConstraintKinds.hs" 9 1 9 1,SrcSpan "tests/examples/ConstraintKinds.hs" 10 1 10 1,SrcSpan "tests/examples/ConstraintKinds.hs" 11 1 11 1,SrcSpan "tests/examples/ConstraintKinds.hs" 11 1 11 1]}) Nothing [LanguagePragma (SrcSpanInfo {srcInfoSpan = SrcSpan "tests/examples/ConstraintKinds.hs" 1 1 1 30, srcInfoPoints = [SrcSpan "tests/examples/ConstraintKinds.hs" 1 1 1 13,SrcSpan "tests/examples/ConstraintKinds.hs" 1 27 1 30]}) [Ident (SrcSpanInfo {srcInfoSpan = SrcSpan "tests/examples/ConstraintKinds.hs" 1 14 1 26, srcInfoPoints = []}) "TypeFamilies"],LanguagePragma (SrcSpanInfo {srcInfoSpan = SrcSpan "tests/examples/ConstraintKinds.hs" 2 1 2 33, srcInfoPoints = [SrcSpan "tests/examples/ConstraintKinds.hs" 2 1 2 13,SrcSpan "tests/examples/ConstraintKinds.hs" 2 30 2 33]}) [Ident (SrcSpanInfo {srcInfoSpan = SrcSpan "tests/examples/ConstraintKinds.hs" 2 14 2 29, srcInfoPoints = []}) "ConstraintKinds"],LanguagePragma (SrcSpanInfo {srcInfoSpan = SrcSpan "tests/examples/ConstraintKinds.hs" 3 1 3 39, srcInfoPoints = [SrcSpan "tests/examples/ConstraintKinds.hs" 3 1 3 13,SrcSpan "tests/examples/ConstraintKinds.hs" 3 36 3 39]}) [Ident (SrcSpanInfo {srcInfoSpan = SrcSpan "tests/examples/ConstraintKinds.hs" 3 14 3 35, srcInfoPoints = []}) "MultiParamTypeClasses"]] [] [ClassDecl (SrcSpanInfo {srcInfoSpan = SrcSpan "tests/examples/ConstraintKinds.hs" 4 1 6 0, srcInfoPoints = [SrcSpan "tests/examples/ConstraintKinds.hs" 4 1 4 6,SrcSpan "tests/examples/ConstraintKinds.hs" 4 13 4 18,SrcSpan "tests/examples/ConstraintKinds.hs" 6 1 6 1,SrcSpan "tests/examples/ConstraintKinds.hs" 6 1 6 1,SrcSpan "tests/examples/ConstraintKinds.hs" 6 0 6 0]}) Nothing (DHApp (SrcSpanInfo {srcInfoSpan = SrcSpan "tests/examples/ConstraintKinds.hs" 4 7 4 12, srcInfoPoints = []}) (DHead (SrcSpanInfo {srcInfoSpan = SrcSpan "tests/examples/ConstraintKinds.hs" 4 7 4 10, srcInfoPoints = []}) (Ident (SrcSpanInfo {srcInfoSpan = SrcSpan "tests/examples/ConstraintKinds.hs" 4 7 4 10, srcInfoPoints = []}) "Foo")) (UnkindedVar (SrcSpanInfo {srcInfoSpan = SrcSpan "tests/examples/ConstraintKinds.hs" 4 11 4 12, srcInfoPoints = []}) (Ident (SrcSpanInfo {srcInfoSpan = SrcSpan "tests/examples/ConstraintKinds.hs" 4 11 4 12, srcInfoPoints = []}) "a"))) [] (Just []),DataDecl (SrcSpanInfo {srcInfoSpan = SrcSpan "tests/examples/ConstraintKinds.hs" 6 1 6 5, srcInfoPoints = []}) (DataType (SrcSpanInfo {srcInfoSpan = SrcSpan "tests/examples/ConstraintKinds.hs" 6 1 6 5, srcInfoPoints = []})) Nothing (DHApp (SrcSpanInfo {srcInfoSpan = SrcSpan "tests/examples/ConstraintKinds.hs" 6 6 6 11, srcInfoPoints = []}) (DHead (SrcSpanInfo {srcInfoSpan = SrcSpan "tests/examples/ConstraintKinds.hs" 6 6 6 9, srcInfoPoints = []}) (Ident (SrcSpanInfo {srcInfoSpan = SrcSpan "tests/examples/ConstraintKinds.hs" 6 6 6 9, srcInfoPoints = []}) "Bar")) (UnkindedVar (SrcSpanInfo {srcInfoSpan = SrcSpan "tests/examples/ConstraintKinds.hs" 6 10 6 11, srcInfoPoints = []}) (Ident (SrcSpanInfo {srcInfoSpan = SrcSpan "tests/examples/ConstraintKinds.hs" 6 10 6 11, srcInfoPoints = []}) "a"))) [] Nothing,TypeDecl (SrcSpanInfo {srcInfoSpan = SrcSpan "tests/examples/ConstraintKinds.hs" 7 1 7 37, srcInfoPoints = [SrcSpan "tests/examples/ConstraintKinds.hs" 7 1 7 5,SrcSpan "tests/examples/ConstraintKinds.hs" 7 18 7 19]}) (DHApp (SrcSpanInfo {srcInfoSpan = SrcSpan "tests/examples/ConstraintKinds.hs" 7 6 7 17, srcInfoPoints = []}) (DHApp (SrcSpanInfo {srcInfoSpan = SrcSpan "tests/examples/ConstraintKinds.hs" 7 6 7 15, srcInfoPoints = []}) (DHead (SrcSpanInfo {srcInfoSpan = SrcSpan "tests/examples/ConstraintKinds.hs" 7 6 7 13, srcInfoPoints = []}) (Ident (SrcSpanInfo {srcInfoSpan = SrcSpan "tests/examples/ConstraintKinds.hs" 7 6 7 13, srcInfoPoints = []}) "Bazable")) (UnkindedVar (SrcSpanInfo {srcInfoSpan = SrcSpan "tests/examples/ConstraintKinds.hs" 7 14 7 15, srcInfoPoints = []}) (Ident (SrcSpanInfo {srcInfoSpan = SrcSpan "tests/examples/ConstraintKinds.hs" 7 14 7 15, srcInfoPoints = []}) "a"))) (UnkindedVar (SrcSpanInfo {srcInfoSpan = SrcSpan "tests/examples/ConstraintKinds.hs" 7 16 7 17, srcInfoPoints = []}) (Ident (SrcSpanInfo {srcInfoSpan = SrcSpan "tests/examples/ConstraintKinds.hs" 7 16 7 17, srcInfoPoints = []}) "b"))) (TyParen (SrcSpanInfo {srcInfoSpan = SrcSpan "tests/examples/ConstraintKinds.hs" 7 20 7 37, srcInfoPoints = [SrcSpan "tests/examples/ConstraintKinds.hs" 7 20 7 21,SrcSpan "tests/examples/ConstraintKinds.hs" 7 36 7 37]}) (TyEquals (SrcSpanInfo {srcInfoSpan = SrcSpan "tests/examples/ConstraintKinds.hs" 7 21 7 36, srcInfoPoints = [SrcSpan "tests/examples/ConstraintKinds.hs" 7 27 7 28]}) (TyApp (SrcSpanInfo {srcInfoSpan = SrcSpan "tests/examples/ConstraintKinds.hs" 7 21 7 26, srcInfoPoints = []}) (TyCon (SrcSpanInfo {srcInfoSpan = SrcSpan "tests/examples/ConstraintKinds.hs" 7 21 7 24, srcInfoPoints = []}) (UnQual (SrcSpanInfo {srcInfoSpan = SrcSpan "tests/examples/ConstraintKinds.hs" 7 21 7 24, srcInfoPoints = []}) (Ident (SrcSpanInfo {srcInfoSpan = SrcSpan "tests/examples/ConstraintKinds.hs" 7 21 7 24, srcInfoPoints = []}) "Bar"))) (TyVar (SrcSpanInfo {srcInfoSpan = SrcSpan "tests/examples/ConstraintKinds.hs" 7 25 7 26, srcInfoPoints = []}) (Ident (SrcSpanInfo {srcInfoSpan = SrcSpan "tests/examples/ConstraintKinds.hs" 7 25 7 26, srcInfoPoints = []}) "a"))) (TyApp (SrcSpanInfo {srcInfoSpan = SrcSpan "tests/examples/ConstraintKinds.hs" 7 29 7 36, srcInfoPoints = []}) (TyCon (SrcSpanInfo {srcInfoSpan = SrcSpan "tests/examples/ConstraintKinds.hs" 7 29 7 34, srcInfoPoints = []}) (UnQual (SrcSpanInfo {srcInfoSpan = SrcSpan "tests/examples/ConstraintKinds.hs" 7 29 7 34, srcInfoPoints = []}) (Ident (SrcSpanInfo {srcInfoSpan = SrcSpan "tests/examples/ConstraintKinds.hs" 7 29 7 34, srcInfoPoints = []}) "Maybe"))) (TyVar (SrcSpanInfo {srcInfoSpan = SrcSpan "tests/examples/ConstraintKinds.hs" 7 35 7 36, srcInfoPoints = []}) (Ident (SrcSpanInfo {srcInfoSpan = SrcSpan "tests/examples/ConstraintKinds.hs" 7 35 7 36, srcInfoPoints = []}) "b"))))),TypeSig (SrcSpanInfo {srcInfoSpan = SrcSpan "tests/examples/ConstraintKinds.hs" 9 1 9 29, srcInfoPoints = [SrcSpan "tests/examples/ConstraintKinds.hs" 9 5 9 7]}) [Ident (SrcSpanInfo {srcInfoSpan = SrcSpan "tests/examples/ConstraintKinds.hs" 9 1 9 4, srcInfoPoints = []}) "baz"] (TyForall (SrcSpanInfo {srcInfoSpan = SrcSpan "tests/examples/ConstraintKinds.hs" 9 8 9 29, srcInfoPoints = []}) Nothing (Just (CxSingle (SrcSpanInfo {srcInfoSpan = SrcSpan "tests/examples/ConstraintKinds.hs" 9 8 9 22, srcInfoPoints = [SrcSpan "tests/examples/ConstraintKinds.hs" 9 20 9 22]}) (ClassA (SrcSpanInfo {srcInfoSpan = SrcSpan "tests/examples/ConstraintKinds.hs" 9 8 9 22, srcInfoPoints = [SrcSpan "tests/examples/ConstraintKinds.hs" 9 20 9 22]}) (UnQual (SrcSpanInfo {srcInfoSpan = SrcSpan "tests/examples/ConstraintKinds.hs" 9 8 9 15, srcInfoPoints = []}) (Ident (SrcSpanInfo {srcInfoSpan = SrcSpan "tests/examples/ConstraintKinds.hs" 9 8 9 15, srcInfoPoints = []}) "Bazable")) [TyVar (SrcSpanInfo {srcInfoSpan = SrcSpan "tests/examples/ConstraintKinds.hs" 9 16 9 17, srcInfoPoints = []}) (Ident (SrcSpanInfo {srcInfoSpan = SrcSpan "tests/examples/ConstraintKinds.hs" 9 16 9 17, srcInfoPoints = []}) "a"),TyVar (SrcSpanInfo {srcInfoSpan = SrcSpan "tests/examples/ConstraintKinds.hs" 9 18 9 19, srcInfoPoints = []}) (Ident (SrcSpanInfo {srcInfoSpan = SrcSpan "tests/examples/ConstraintKinds.hs" 9 18 9 19, srcInfoPoints = []}) "b")]))) (TyFun (SrcSpanInfo {srcInfoSpan = SrcSpan "tests/examples/ConstraintKinds.hs" 9 23 9 29, srcInfoPoints = [SrcSpan "tests/examples/ConstraintKinds.hs" 9 25 9 27]}) (TyVar (SrcSpanInfo {srcInfoSpan = SrcSpan "tests/examples/ConstraintKinds.hs" 9 23 9 24, srcInfoPoints = []}) (Ident (SrcSpanInfo {srcInfoSpan = SrcSpan "tests/examples/ConstraintKinds.hs" 9 23 9 24, srcInfoPoints = []}) "a")) (TyVar (SrcSpanInfo {srcInfoSpan = SrcSpan "tests/examples/ConstraintKinds.hs" 9 28 9 29, srcInfoPoints = []}) (Ident (SrcSpanInfo {srcInfoSpan = SrcSpan "tests/examples/ConstraintKinds.hs" 9 28 9 29, srcInfoPoints = []}) "a")))),PatBind (SrcSpanInfo {srcInfoSpan = SrcSpan "tests/examples/ConstraintKinds.hs" 10 1 10 9, srcInfoPoints = []}) (PVar (SrcSpanInfo {srcInfoSpan = SrcSpan "tests/examples/ConstraintKinds.hs" 10 1 10 4, srcInfoPoints = []}) (Ident (SrcSpanInfo {srcInfoSpan = SrcSpan "tests/examples/ConstraintKinds.hs" 10 1 10 4, srcInfoPoints = []}) "baz")) (UnGuardedRhs (SrcSpanInfo {srcInfoSpan = SrcSpan "tests/examples/ConstraintKinds.hs" 10 5 10 9, srcInfoPoints = [SrcSpan "tests/examples/ConstraintKinds.hs" 10 5 10 6]}) (Var (SrcSpanInfo {srcInfoSpan = SrcSpan "tests/examples/ConstraintKinds.hs" 10 7 10 9, srcInfoPoints = []}) (UnQual (SrcSpanInfo {srcInfoSpan = SrcSpan "tests/examples/ConstraintKinds.hs" 10 7 10 9, srcInfoPoints = []}) (Ident (SrcSpanInfo {srcInfoSpan = SrcSpan "tests/examples/ConstraintKinds.hs" 10 7 10 9, srcInfoPoints = []}) "id")))) Nothing],[])