ParseOk ( Module SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 1 1 96 1 , srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 1 1 1 1 , SrcSpan "tests/examples/Vta1.hs" 6 1 6 1 , SrcSpan "tests/examples/Vta1.hs" 6 1 6 1 , SrcSpan "tests/examples/Vta1.hs" 8 1 8 1 , SrcSpan "tests/examples/Vta1.hs" 9 1 9 1 , SrcSpan "tests/examples/Vta1.hs" 11 1 11 1 , SrcSpan "tests/examples/Vta1.hs" 13 1 13 1 , SrcSpan "tests/examples/Vta1.hs" 15 1 15 1 , SrcSpan "tests/examples/Vta1.hs" 16 1 16 1 , SrcSpan "tests/examples/Vta1.hs" 18 1 18 1 , SrcSpan "tests/examples/Vta1.hs" 21 1 21 1 , SrcSpan "tests/examples/Vta1.hs" 22 1 22 1 , SrcSpan "tests/examples/Vta1.hs" 23 1 23 1 , SrcSpan "tests/examples/Vta1.hs" 25 1 25 1 , SrcSpan "tests/examples/Vta1.hs" 27 1 27 1 , SrcSpan "tests/examples/Vta1.hs" 29 1 29 1 , SrcSpan "tests/examples/Vta1.hs" 30 1 30 1 , SrcSpan "tests/examples/Vta1.hs" 31 1 31 1 , SrcSpan "tests/examples/Vta1.hs" 33 1 33 1 , SrcSpan "tests/examples/Vta1.hs" 34 1 34 1 , SrcSpan "tests/examples/Vta1.hs" 36 1 36 1 , SrcSpan "tests/examples/Vta1.hs" 37 1 37 1 , SrcSpan "tests/examples/Vta1.hs" 39 1 39 1 , SrcSpan "tests/examples/Vta1.hs" 40 1 40 1 , SrcSpan "tests/examples/Vta1.hs" 42 1 42 1 , SrcSpan "tests/examples/Vta1.hs" 44 1 44 1 , SrcSpan "tests/examples/Vta1.hs" 45 1 45 1 , SrcSpan "tests/examples/Vta1.hs" 46 1 46 1 , SrcSpan "tests/examples/Vta1.hs" 48 1 48 1 , SrcSpan "tests/examples/Vta1.hs" 49 1 49 1 , SrcSpan "tests/examples/Vta1.hs" 51 1 51 1 , SrcSpan "tests/examples/Vta1.hs" 52 1 52 1 , SrcSpan "tests/examples/Vta1.hs" 53 1 53 1 , SrcSpan "tests/examples/Vta1.hs" 55 1 55 1 , SrcSpan "tests/examples/Vta1.hs" 56 1 56 1 , SrcSpan "tests/examples/Vta1.hs" 58 1 58 1 , SrcSpan "tests/examples/Vta1.hs" 59 1 59 1 , SrcSpan "tests/examples/Vta1.hs" 61 1 61 1 , SrcSpan "tests/examples/Vta1.hs" 62 1 62 1 , SrcSpan "tests/examples/Vta1.hs" 63 1 63 1 , SrcSpan "tests/examples/Vta1.hs" 65 1 65 1 , SrcSpan "tests/examples/Vta1.hs" 66 1 66 1 , SrcSpan "tests/examples/Vta1.hs" 68 1 68 1 , SrcSpan "tests/examples/Vta1.hs" 69 1 69 1 , SrcSpan "tests/examples/Vta1.hs" 71 1 71 1 , SrcSpan "tests/examples/Vta1.hs" 72 1 72 1 , SrcSpan "tests/examples/Vta1.hs" 74 1 74 1 , SrcSpan "tests/examples/Vta1.hs" 75 1 75 1 , SrcSpan "tests/examples/Vta1.hs" 77 1 77 1 , SrcSpan "tests/examples/Vta1.hs" 78 1 78 1 , SrcSpan "tests/examples/Vta1.hs" 80 1 80 1 , SrcSpan "tests/examples/Vta1.hs" 81 1 81 1 , SrcSpan "tests/examples/Vta1.hs" 83 1 83 1 , SrcSpan "tests/examples/Vta1.hs" 85 1 85 1 , SrcSpan "tests/examples/Vta1.hs" 87 1 87 1 , SrcSpan "tests/examples/Vta1.hs" 89 1 89 1 , SrcSpan "tests/examples/Vta1.hs" 91 1 91 1 , SrcSpan "tests/examples/Vta1.hs" 92 1 92 1 , SrcSpan "tests/examples/Vta1.hs" 94 1 94 1 , SrcSpan "tests/examples/Vta1.hs" 95 1 95 1 , SrcSpan "tests/examples/Vta1.hs" 96 1 96 1 , SrcSpan "tests/examples/Vta1.hs" 96 1 96 1 ] } (Just (ModuleHead SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 6 1 6 18 , srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 6 1 6 7 , SrcSpan "tests/examples/Vta1.hs" 6 13 6 18 ] } (ModuleName SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 6 8 6 12 , srcInfoPoints = [] } "Vta1") Nothing Nothing)) [ LanguagePragma SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 1 1 3 34 , srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 1 1 1 13 , SrcSpan "tests/examples/Vta1.hs" 1 30 1 31 , SrcSpan "tests/examples/Vta1.hs" 1 51 1 52 , SrcSpan "tests/examples/Vta1.hs" 1 62 1 63 , SrcSpan "tests/examples/Vta1.hs" 2 26 2 27 , SrcSpan "tests/examples/Vta1.hs" 2 38 2 39 , SrcSpan "tests/examples/Vta1.hs" 3 31 3 34 ] } [ Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 1 14 1 30 , srcInfoPoints = [] } "TypeApplications" , Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 1 32 1 51 , srcInfoPoints = [] } "ScopedTypeVariables" , Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 1 53 1 62 , srcInfoPoints = [] } "PolyKinds" , Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 2 14 2 26 , srcInfoPoints = [] } "TypeFamilies" , Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 2 28 2 38 , srcInfoPoints = [] } "RankNTypes" , Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 3 14 3 30 , srcInfoPoints = [] } "FlexibleContexts" ] ] [] [ TypeSig SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 8 1 8 41 , srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 8 6 8 8 ] } [ Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 8 1 8 5 , srcInfoPoints = [] } "quad" ] (TyFun SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 8 9 8 41 , srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 8 11 8 13 ] } (TyVar SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 8 9 8 10 , srcInfoPoints = [] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 8 9 8 10 , srcInfoPoints = [] } "a")) (TyFun SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 8 14 8 41 , srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 8 16 8 18 ] } (TyVar SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 8 14 8 15 , srcInfoPoints = [] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 8 14 8 15 , srcInfoPoints = [] } "b")) (TyFun SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 8 19 8 41 , srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 8 21 8 23 ] } (TyVar SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 8 19 8 20 , srcInfoPoints = [] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 8 19 8 20 , srcInfoPoints = [] } "c")) (TyFun SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 8 24 8 41 , srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 8 26 8 28 ] } (TyVar SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 8 24 8 25 , srcInfoPoints = [] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 8 24 8 25 , srcInfoPoints = [] } "d")) (TyTuple SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 8 29 8 41 , srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 8 29 8 30 , SrcSpan "tests/examples/Vta1.hs" 8 31 8 32 , SrcSpan "tests/examples/Vta1.hs" 8 34 8 35 , SrcSpan "tests/examples/Vta1.hs" 8 37 8 38 , SrcSpan "tests/examples/Vta1.hs" 8 40 8 41 ] } Boxed [ TyVar SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 8 30 8 31 , srcInfoPoints = [] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 8 30 8 31 , srcInfoPoints = [] } "a") , TyVar SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 8 33 8 34 , srcInfoPoints = [] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 8 33 8 34 , srcInfoPoints = [] } "b") , TyVar SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 8 36 8 37 , srcInfoPoints = [] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 8 36 8 37 , srcInfoPoints = [] } "c") , TyVar SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 8 39 8 40 , srcInfoPoints = [] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 8 39 8 40 , srcInfoPoints = [] } "d") ]))))) , PatBind SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 9 1 9 13 , srcInfoPoints = [] } (PVar SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 9 1 9 5 , srcInfoPoints = [] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 9 1 9 5 , srcInfoPoints = [] } "quad")) (UnGuardedRhs SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 9 6 9 13 , srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 9 6 9 7 ] } (Con SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 9 8 9 13 , srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 9 8 9 9 , SrcSpan "tests/examples/Vta1.hs" 9 9 9 10 , SrcSpan "tests/examples/Vta1.hs" 9 10 9 11 , SrcSpan "tests/examples/Vta1.hs" 9 11 9 12 , SrcSpan "tests/examples/Vta1.hs" 9 12 9 13 ] } (Special SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 9 8 9 13 , srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 9 8 9 9 , SrcSpan "tests/examples/Vta1.hs" 9 9 9 10 , SrcSpan "tests/examples/Vta1.hs" 9 10 9 11 , SrcSpan "tests/examples/Vta1.hs" 9 11 9 12 , SrcSpan "tests/examples/Vta1.hs" 9 12 9 13 ] } (TupleCon SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 9 8 9 13 , srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 9 8 9 9 , SrcSpan "tests/examples/Vta1.hs" 9 9 9 10 , SrcSpan "tests/examples/Vta1.hs" 9 10 9 11 , SrcSpan "tests/examples/Vta1.hs" 9 11 9 12 , SrcSpan "tests/examples/Vta1.hs" 9 12 9 13 ] } Boxed 4)))) Nothing , PatBind SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 11 1 11 50 , srcInfoPoints = [] } (PVar SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 11 1 11 6 , srcInfoPoints = [] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 11 1 11 6 , srcInfoPoints = [] } "silly")) (UnGuardedRhs SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 11 7 11 50 , srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 11 7 11 8 ] } (App SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 11 9 11 50 , srcInfoPoints = [] } (App SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 11 9 11 42 , srcInfoPoints = [] } (App SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 11 9 11 38 , srcInfoPoints = [] } (App SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 11 9 11 33 , srcInfoPoints = [] } (App SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 11 9 11 31 , srcInfoPoints = [] } (App SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 11 9 11 28 , srcInfoPoints = [] } (App SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 11 9 11 22 , srcInfoPoints = [] } (App SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 11 9 11 16 , srcInfoPoints = [] } (Var SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 11 9 11 13 , srcInfoPoints = [] } (UnQual SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 11 9 11 13 , srcInfoPoints = [] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 11 9 11 13 , srcInfoPoints = [] } "quad"))) (TypeApp SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 11 14 11 16 , srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 11 14 11 15 ] } (TyWildCard SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 11 15 11 16 , srcInfoPoints = [] } Nothing))) (TypeApp SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 11 17 11 22 , srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 11 17 11 18 ] } (TyCon SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 11 18 11 22 , srcInfoPoints = [] } (UnQual SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 11 18 11 22 , srcInfoPoints = [] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 11 18 11 22 , srcInfoPoints = [] } "Bool"))))) (TypeApp SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 11 23 11 28 , srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 11 23 11 24 ] } (TyCon SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 11 24 11 28 , srcInfoPoints = [] } (UnQual SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 11 24 11 28 , srcInfoPoints = [] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 11 24 11 28 , srcInfoPoints = [] } "Char"))))) (TypeApp SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 11 29 11 31 , srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 11 29 11 30 ] } (TyWildCard SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 11 30 11 31 , srcInfoPoints = [] } Nothing))) (Lit SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 11 32 11 33 , srcInfoPoints = [] } (Int SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 11 32 11 33 , srcInfoPoints = [] } 5 "5"))) (Con SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 11 34 11 38 , srcInfoPoints = [] } (UnQual SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 11 34 11 38 , srcInfoPoints = [] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 11 34 11 38 , srcInfoPoints = [] } "True")))) (Lit SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 11 39 11 42 , srcInfoPoints = [] } (Char SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 11 39 11 42 , srcInfoPoints = [] } 'a' "a"))) (Lit SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 11 43 11 50 , srcInfoPoints = [] } (String SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 11 43 11 50 , srcInfoPoints = [] } "Hello" "Hello")))) Nothing , FunBind SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 13 1 13 26 , srcInfoPoints = [] } [ Match SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 13 1 13 26 , srcInfoPoints = [] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 13 1 13 13 , srcInfoPoints = [] } "pairup_nosig") [ PVar SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 13 14 13 15 , srcInfoPoints = [] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 13 14 13 15 , srcInfoPoints = [] } "x") , PVar SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 13 16 13 17 , srcInfoPoints = [] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 13 16 13 17 , srcInfoPoints = [] } "y") ] (UnGuardedRhs SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 13 18 13 26 , srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 13 18 13 19 ] } (Tuple SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 13 20 13 26 , srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 13 20 13 21 , SrcSpan "tests/examples/Vta1.hs" 13 22 13 23 , SrcSpan "tests/examples/Vta1.hs" 13 25 13 26 ] } Boxed [ Var SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 13 21 13 22 , srcInfoPoints = [] } (UnQual SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 13 21 13 22 , srcInfoPoints = [] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 13 21 13 22 , srcInfoPoints = [] } "x")) , Var SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 13 24 13 25 , srcInfoPoints = [] } (UnQual SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 13 24 13 25 , srcInfoPoints = [] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 13 24 13 25 , srcInfoPoints = [] } "y")) ])) Nothing ] , TypeSig SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 15 1 15 30 , srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 15 12 15 14 ] } [ Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 15 1 15 11 , srcInfoPoints = [] } "pairup_sig" ] (TyFun SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 15 15 15 30 , srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 15 17 15 19 ] } (TyVar SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 15 15 15 16 , srcInfoPoints = [] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 15 15 15 16 , srcInfoPoints = [] } "a")) (TyFun SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 15 20 15 30 , srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 15 22 15 24 ] } (TyVar SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 15 20 15 21 , srcInfoPoints = [] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 15 20 15 21 , srcInfoPoints = [] } "b")) (TyTuple SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 15 25 15 30 , srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 15 25 15 26 , SrcSpan "tests/examples/Vta1.hs" 15 27 15 28 , SrcSpan "tests/examples/Vta1.hs" 15 29 15 30 ] } Boxed [ TyVar SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 15 26 15 27 , srcInfoPoints = [] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 15 26 15 27 , srcInfoPoints = [] } "a") , TyVar SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 15 28 15 29 , srcInfoPoints = [] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 15 28 15 29 , srcInfoPoints = [] } "b") ]))) , FunBind SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 16 1 16 24 , srcInfoPoints = [] } [ Match SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 16 1 16 24 , srcInfoPoints = [] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 16 1 16 11 , srcInfoPoints = [] } "pairup_sig") [ PVar SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 16 12 16 13 , srcInfoPoints = [] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 16 12 16 13 , srcInfoPoints = [] } "u") , PVar SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 16 14 16 15 , srcInfoPoints = [] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 16 14 16 15 , srcInfoPoints = [] } "w") ] (UnGuardedRhs SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 16 16 16 24 , srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 16 16 16 17 ] } (Tuple SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 16 18 16 24 , srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 16 18 16 19 , SrcSpan "tests/examples/Vta1.hs" 16 20 16 21 , SrcSpan "tests/examples/Vta1.hs" 16 23 16 24 ] } Boxed [ Var SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 16 19 16 20 , srcInfoPoints = [] } (UnQual SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 16 19 16 20 , srcInfoPoints = [] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 16 19 16 20 , srcInfoPoints = [] } "u")) , Var SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 16 22 16 23 , srcInfoPoints = [] } (UnQual SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 16 22 16 23 , srcInfoPoints = [] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 16 22 16 23 , srcInfoPoints = [] } "w")) ])) Nothing ] , PatBind SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 18 1 18 43 , srcInfoPoints = [] } (PVar SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 18 1 18 11 , srcInfoPoints = [] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 18 1 18 11 , srcInfoPoints = [] } "answer_sig")) (UnGuardedRhs SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 18 12 18 43 , srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 18 12 18 13 ] } (App SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 18 14 18 43 , srcInfoPoints = [] } (App SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 18 14 18 41 , srcInfoPoints = [] } (App SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 18 14 18 35 , srcInfoPoints = [] } (App SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 18 14 18 30 , srcInfoPoints = [] } (Var SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 18 14 18 24 , srcInfoPoints = [] } (UnQual SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 18 14 18 24 , srcInfoPoints = [] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 18 14 18 24 , srcInfoPoints = [] } "pairup_sig"))) (TypeApp SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 18 25 18 30 , srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 18 25 18 26 ] } (TyCon SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 18 26 18 30 , srcInfoPoints = [] } (UnQual SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 18 26 18 30 , srcInfoPoints = [] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 18 26 18 30 , srcInfoPoints = [] } "Bool"))))) (TypeApp SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 18 31 18 35 , srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 18 31 18 32 ] } (TyCon SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 18 32 18 35 , srcInfoPoints = [] } (UnQual SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 18 32 18 35 , srcInfoPoints = [] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 18 32 18 35 , srcInfoPoints = [] } "Int"))))) (Con SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 18 36 18 41 , srcInfoPoints = [] } (UnQual SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 18 36 18 41 , srcInfoPoints = [] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 18 36 18 41 , srcInfoPoints = [] } "False")))) (Lit SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 18 42 18 43 , srcInfoPoints = [] } (Int SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 18 42 18 43 , srcInfoPoints = [] } 7 "7")))) Nothing , PatBind SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 21 1 21 35 , srcInfoPoints = [] } (PVar SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 21 1 21 12 , srcInfoPoints = [] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 21 1 21 12 , srcInfoPoints = [] } "answer_read")) (UnGuardedRhs SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 21 13 21 35 , srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 21 13 21 14 ] } (App SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 21 15 21 35 , srcInfoPoints = [] } (Var SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 21 15 21 19 , srcInfoPoints = [] } (UnQual SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 21 15 21 19 , srcInfoPoints = [] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 21 15 21 19 , srcInfoPoints = [] } "show"))) (Paren SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 21 20 21 35 , srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 21 20 21 21 , SrcSpan "tests/examples/Vta1.hs" 21 34 21 35 ] } (App SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 21 21 21 34 , srcInfoPoints = [] } (App SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 21 21 21 30 , srcInfoPoints = [] } (Var SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 21 21 21 25 , srcInfoPoints = [] } (UnQual SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 21 21 21 25 , srcInfoPoints = [] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 21 21 21 25 , srcInfoPoints = [] } "read"))) (TypeApp SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 21 26 21 30 , srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 21 26 21 27 ] } (TyCon SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 21 27 21 30 , srcInfoPoints = [] } (UnQual SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 21 27 21 30 , srcInfoPoints = [] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 21 27 21 30 , srcInfoPoints = [] } "Int"))))) (Lit SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 21 31 21 34 , srcInfoPoints = [] } (String SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 21 31 21 34 , srcInfoPoints = [] } "3" "3")))))) Nothing , PatBind SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 22 1 22 39 , srcInfoPoints = [] } (PVar SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 22 1 22 12 , srcInfoPoints = [] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 22 1 22 12 , srcInfoPoints = [] } "answer_show")) (UnGuardedRhs SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 22 13 22 39 , srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 22 13 22 14 ] } (App SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 22 15 22 39 , srcInfoPoints = [] } (App SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 22 15 22 28 , srcInfoPoints = [] } (Var SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 22 15 22 19 , srcInfoPoints = [] } (UnQual SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 22 15 22 19 , srcInfoPoints = [] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 22 15 22 19 , srcInfoPoints = [] } "show"))) (TypeApp SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 22 20 22 28 , srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 22 20 22 21 ] } (TyCon SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 22 21 22 28 , srcInfoPoints = [] } (UnQual SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 22 21 22 28 , srcInfoPoints = [] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 22 21 22 28 , srcInfoPoints = [] } "Integer"))))) (Paren SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 22 29 22 39 , srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 22 29 22 30 , SrcSpan "tests/examples/Vta1.hs" 22 38 22 39 ] } (App SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 22 30 22 38 , srcInfoPoints = [] } (Var SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 22 30 22 34 , srcInfoPoints = [] } (UnQual SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 22 30 22 34 , srcInfoPoints = [] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 22 30 22 34 , srcInfoPoints = [] } "read"))) (Lit SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 22 35 22 38 , srcInfoPoints = [] } (String SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 22 35 22 38 , srcInfoPoints = [] } "5" "5")))))) Nothing , PatBind SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 23 1 23 44 , srcInfoPoints = [] } (PVar SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 23 1 23 16 , srcInfoPoints = [] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 23 1 23 16 , srcInfoPoints = [] } "answer_showread")) (UnGuardedRhs SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 23 17 23 44 , srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 23 17 23 18 ] } (App SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 23 19 23 44 , srcInfoPoints = [] } (App SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 23 19 23 28 , srcInfoPoints = [] } (Var SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 23 19 23 23 , srcInfoPoints = [] } (UnQual SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 23 19 23 23 , srcInfoPoints = [] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 23 19 23 23 , srcInfoPoints = [] } "show"))) (TypeApp SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 23 24 23 28 , srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 23 24 23 25 ] } (TyCon SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 23 25 23 28 , srcInfoPoints = [] } (UnQual SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 23 25 23 28 , srcInfoPoints = [] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 23 25 23 28 , srcInfoPoints = [] } "Int"))))) (Paren SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 23 29 23 44 , srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 23 29 23 30 , SrcSpan "tests/examples/Vta1.hs" 23 43 23 44 ] } (App SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 23 30 23 43 , srcInfoPoints = [] } (App SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 23 30 23 39 , srcInfoPoints = [] } (Var SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 23 30 23 34 , srcInfoPoints = [] } (UnQual SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 23 30 23 34 , srcInfoPoints = [] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 23 30 23 34 , srcInfoPoints = [] } "read"))) (TypeApp SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 23 35 23 39 , srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 23 35 23 36 ] } (TyCon SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 23 36 23 39 , srcInfoPoints = [] } (UnQual SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 23 36 23 39 , srcInfoPoints = [] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 23 36 23 39 , srcInfoPoints = [] } "Int"))))) (Lit SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 23 40 23 43 , srcInfoPoints = [] } (String SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 23 40 23 43 , srcInfoPoints = [] } "7" "7")))))) Nothing , FunBind SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 25 1 25 23 , srcInfoPoints = [] } [ Match SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 25 1 25 23 , srcInfoPoints = [] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 25 1 25 8 , srcInfoPoints = [] } "intcons") [ PVar SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 25 9 25 10 , srcInfoPoints = [] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 25 9 25 10 , srcInfoPoints = [] } "a") ] (UnGuardedRhs SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 25 11 25 23 , srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 25 11 25 12 ] } (App SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 25 13 25 23 , srcInfoPoints = [] } (App SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 25 13 25 21 , srcInfoPoints = [] } (Con SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 25 13 25 16 , srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 25 13 25 14 , SrcSpan "tests/examples/Vta1.hs" 25 14 25 15 , SrcSpan "tests/examples/Vta1.hs" 25 15 25 16 ] } (Special SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 25 13 25 16 , srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 25 13 25 14 , SrcSpan "tests/examples/Vta1.hs" 25 14 25 15 , SrcSpan "tests/examples/Vta1.hs" 25 15 25 16 ] } (Cons SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 25 14 25 15 , srcInfoPoints = [] }))) (TypeApp SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 25 17 25 21 , srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 25 17 25 18 ] } (TyCon SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 25 18 25 21 , srcInfoPoints = [] } (UnQual SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 25 18 25 21 , srcInfoPoints = [] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 25 18 25 21 , srcInfoPoints = [] } "Int"))))) (Var SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 25 22 25 23 , srcInfoPoints = [] } (UnQual SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 25 22 25 23 , srcInfoPoints = [] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 25 22 25 23 , srcInfoPoints = [] } "a"))))) Nothing ] , FunBind SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 27 1 27 34 , srcInfoPoints = [] } [ Match SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 27 1 27 34 , srcInfoPoints = [] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 27 1 27 8 , srcInfoPoints = [] } "intpair") [ PVar SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 27 9 27 10 , srcInfoPoints = [] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 27 9 27 10 , srcInfoPoints = [] } "x") , PVar SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 27 11 27 12 , srcInfoPoints = [] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 27 11 27 12 , srcInfoPoints = [] } "y") ] (UnGuardedRhs SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 27 13 27 34 , srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 27 13 27 14 ] } (App SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 27 15 27 34 , srcInfoPoints = [] } (App SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 27 15 27 32 , srcInfoPoints = [] } (App SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 27 15 27 30 , srcInfoPoints = [] } (Var SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 27 15 27 25 , srcInfoPoints = [] } (UnQual SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 27 15 27 25 , srcInfoPoints = [] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 27 15 27 25 , srcInfoPoints = [] } "pairup_sig"))) (TypeApp SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 27 26 27 30 , srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 27 26 27 27 ] } (TyCon SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 27 27 27 30 , srcInfoPoints = [] } (UnQual SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 27 27 27 30 , srcInfoPoints = [] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 27 27 27 30 , srcInfoPoints = [] } "Int"))))) (Var SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 27 31 27 32 , srcInfoPoints = [] } (UnQual SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 27 31 27 32 , srcInfoPoints = [] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 27 31 27 32 , srcInfoPoints = [] } "x")))) (Var SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 27 33 27 34 , srcInfoPoints = [] } (UnQual SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 27 33 27 34 , srcInfoPoints = [] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 27 33 27 34 , srcInfoPoints = [] } "y"))))) Nothing ] , PatBind SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 29 1 29 39 , srcInfoPoints = [] } (PVar SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 29 1 29 14 , srcInfoPoints = [] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 29 1 29 14 , srcInfoPoints = [] } "answer_pairup")) (UnGuardedRhs SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 29 15 29 39 , srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 29 15 29 16 ] } (App SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 29 17 29 39 , srcInfoPoints = [] } (App SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 29 17 29 34 , srcInfoPoints = [] } (App SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 29 17 29 32 , srcInfoPoints = [] } (Var SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 29 17 29 27 , srcInfoPoints = [] } (UnQual SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 29 17 29 27 , srcInfoPoints = [] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 29 17 29 27 , srcInfoPoints = [] } "pairup_sig"))) (TypeApp SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 29 28 29 32 , srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 29 28 29 29 ] } (TyCon SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 29 29 29 32 , srcInfoPoints = [] } (UnQual SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 29 29 29 32 , srcInfoPoints = [] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 29 29 29 32 , srcInfoPoints = [] } "Int"))))) (Lit SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 29 33 29 34 , srcInfoPoints = [] } (Int SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 29 33 29 34 , srcInfoPoints = [] } 5 "5"))) (Con SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 29 35 29 39 , srcInfoPoints = [] } (UnQual SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 29 35 29 39 , srcInfoPoints = [] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 29 35 29 39 , srcInfoPoints = [] } "True"))))) Nothing , PatBind SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 30 1 30 35 , srcInfoPoints = [] } (PVar SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 30 1 30 15 , srcInfoPoints = [] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 30 1 30 15 , srcInfoPoints = [] } "answer_intpair")) (UnGuardedRhs SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 30 16 30 35 , srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 30 16 30 17 ] } (App SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 30 18 30 35 , srcInfoPoints = [] } (App SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 30 18 30 27 , srcInfoPoints = [] } (Var SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 30 18 30 25 , srcInfoPoints = [] } (UnQual SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 30 18 30 25 , srcInfoPoints = [] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 30 18 30 25 , srcInfoPoints = [] } "intpair"))) (Lit SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 30 26 30 27 , srcInfoPoints = [] } (Int SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 30 26 30 27 , srcInfoPoints = [] } 1 "1"))) (Lit SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 30 28 30 35 , srcInfoPoints = [] } (String SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 30 28 30 35 , srcInfoPoints = [] } "hello" "hello")))) Nothing , PatBind SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 31 1 31 30 , srcInfoPoints = [] } (PVar SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 31 1 31 15 , srcInfoPoints = [] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 31 1 31 15 , srcInfoPoints = [] } "answer_intcons")) (UnGuardedRhs SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 31 16 31 30 , srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 31 16 31 17 ] } (App SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 31 18 31 30 , srcInfoPoints = [] } (App SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 31 18 31 27 , srcInfoPoints = [] } (Var SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 31 18 31 25 , srcInfoPoints = [] } (UnQual SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 31 18 31 25 , srcInfoPoints = [] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 31 18 31 25 , srcInfoPoints = [] } "intcons"))) (Lit SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 31 26 31 27 , srcInfoPoints = [] } (Int SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 31 26 31 27 , srcInfoPoints = [] } 7 "7"))) (List SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 31 28 31 30 , srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 31 28 31 29 , SrcSpan "tests/examples/Vta1.hs" 31 29 31 30 ] } []))) Nothing , TypeFamDecl SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 33 1 33 16 , srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 33 1 33 5 , SrcSpan "tests/examples/Vta1.hs" 33 6 33 12 ] } (DHApp SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 33 13 33 16 , srcInfoPoints = [] } (DHead SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 33 13 33 14 , srcInfoPoints = [] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 33 13 33 14 , srcInfoPoints = [] } "F")) (UnkindedVar SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 33 15 33 16 , srcInfoPoints = [] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 33 15 33 16 , srcInfoPoints = [] } "a"))) Nothing Nothing , TypeInsDecl SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 34 1 34 28 , srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 34 1 34 5 , SrcSpan "tests/examples/Vta1.hs" 34 6 34 14 , SrcSpan "tests/examples/Vta1.hs" 34 22 34 23 ] } (TyApp SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 34 15 34 21 , srcInfoPoints = [] } (TyCon SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 34 15 34 16 , srcInfoPoints = [] } (UnQual SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 34 15 34 16 , srcInfoPoints = [] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 34 15 34 16 , srcInfoPoints = [] } "F"))) (TyCon SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 34 17 34 21 , srcInfoPoints = [] } (UnQual SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 34 17 34 21 , srcInfoPoints = [] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 34 17 34 21 , srcInfoPoints = [] } "Char")))) (TyCon SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 34 24 34 28 , srcInfoPoints = [] } (UnQual SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 34 24 34 28 , srcInfoPoints = [] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 34 24 34 28 , srcInfoPoints = [] } "Bool"))) , TypeSig SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 36 1 36 14 , srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 36 3 36 5 ] } [ Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 36 1 36 2 , srcInfoPoints = [] } "g" ] (TyFun SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 36 6 36 14 , srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 36 10 36 12 ] } (TyApp SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 36 6 36 9 , srcInfoPoints = [] } (TyCon SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 36 6 36 7 , srcInfoPoints = [] } (UnQual SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 36 6 36 7 , srcInfoPoints = [] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 36 6 36 7 , srcInfoPoints = [] } "F"))) (TyVar SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 36 8 36 9 , srcInfoPoints = [] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 36 8 36 9 , srcInfoPoints = [] } "a"))) (TyVar SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 36 13 36 14 , srcInfoPoints = [] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 36 13 36 14 , srcInfoPoints = [] } "a"))) , FunBind SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 37 1 37 16 , srcInfoPoints = [] } [ Match SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 37 1 37 16 , srcInfoPoints = [] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 37 1 37 2 , srcInfoPoints = [] } "g") [ PWildCard SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 37 3 37 4 , srcInfoPoints = [] } ] (UnGuardedRhs SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 37 5 37 16 , srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 37 5 37 6 ] } (Var SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 37 7 37 16 , srcInfoPoints = [] } (UnQual SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 37 7 37 16 , srcInfoPoints = [] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 37 7 37 16 , srcInfoPoints = [] } "undefined")))) Nothing ] , TypeSig SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 39 1 39 10 , srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 39 3 39 5 ] } [ Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 39 1 39 2 , srcInfoPoints = [] } "f" ] (TyCon SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 39 6 39 10 , srcInfoPoints = [] } (UnQual SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 39 6 39 10 , srcInfoPoints = [] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 39 6 39 10 , srcInfoPoints = [] } "Char"))) , PatBind SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 40 1 40 11 , srcInfoPoints = [] } (PVar SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 40 1 40 2 , srcInfoPoints = [] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 40 1 40 2 , srcInfoPoints = [] } "f")) (UnGuardedRhs SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 40 3 40 11 , srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 40 3 40 4 ] } (App SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 40 5 40 11 , srcInfoPoints = [] } (Var SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 40 5 40 6 , srcInfoPoints = [] } (UnQual SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 40 5 40 6 , srcInfoPoints = [] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 40 5 40 6 , srcInfoPoints = [] } "g"))) (Con SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 40 7 40 11 , srcInfoPoints = [] } (UnQual SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 40 7 40 11 , srcInfoPoints = [] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 40 7 40 11 , srcInfoPoints = [] } "True"))))) Nothing , PatBind SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 42 1 42 23 , srcInfoPoints = [] } (PVar SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 42 1 42 7 , srcInfoPoints = [] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 42 1 42 7 , srcInfoPoints = [] } "answer")) (UnGuardedRhs SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 42 8 42 23 , srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 42 8 42 9 ] } (App SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 42 10 42 23 , srcInfoPoints = [] } (App SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 42 10 42 17 , srcInfoPoints = [] } (Var SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 42 10 42 11 , srcInfoPoints = [] } (UnQual SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 42 10 42 11 , srcInfoPoints = [] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 42 10 42 11 , srcInfoPoints = [] } "g"))) (TypeApp SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 42 12 42 17 , srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 42 12 42 13 ] } (TyCon SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 42 13 42 17 , srcInfoPoints = [] } (UnQual SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 42 13 42 17 , srcInfoPoints = [] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 42 13 42 17 , srcInfoPoints = [] } "Char"))))) (Con SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 42 18 42 23 , srcInfoPoints = [] } (UnQual SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 42 18 42 23 , srcInfoPoints = [] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 42 18 42 23 , srcInfoPoints = [] } "False"))))) Nothing , TypeSig SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 44 1 44 54 , srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 44 9 44 11 ] } [ Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 44 1 44 8 , srcInfoPoints = [] } "mapSame" ] (TyForall SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 44 12 44 54 , srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 44 12 44 18 , SrcSpan "tests/examples/Vta1.hs" 44 20 44 21 ] } (Just [ UnkindedVar SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 44 19 44 20 , srcInfoPoints = [] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 44 19 44 20 , srcInfoPoints = [] } "b") ]) Nothing (TyFun SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 44 22 44 54 , srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 44 41 44 43 ] } (TyParen SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 44 22 44 40 , srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 44 22 44 23 , SrcSpan "tests/examples/Vta1.hs" 44 39 44 40 ] } (TyForall SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 44 23 44 39 , srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 44 23 44 29 , SrcSpan "tests/examples/Vta1.hs" 44 31 44 32 ] } (Just [ UnkindedVar SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 44 30 44 31 , srcInfoPoints = [] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 44 30 44 31 , srcInfoPoints = [] } "a") ]) Nothing (TyFun SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 44 33 44 39 , srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 44 35 44 37 ] } (TyVar SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 44 33 44 34 , srcInfoPoints = [] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 44 33 44 34 , srcInfoPoints = [] } "a")) (TyVar SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 44 38 44 39 , srcInfoPoints = [] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 44 38 44 39 , srcInfoPoints = [] } "a"))))) (TyFun SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 44 44 44 54 , srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 44 48 44 50 ] } (TyList SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 44 44 44 47 , srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 44 44 44 45 , SrcSpan "tests/examples/Vta1.hs" 44 46 44 47 ] } (TyVar SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 44 45 44 46 , srcInfoPoints = [] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 44 45 44 46 , srcInfoPoints = [] } "b"))) (TyList SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 44 51 44 54 , srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 44 51 44 52 , SrcSpan "tests/examples/Vta1.hs" 44 53 44 54 ] } (TyVar SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 44 52 44 53 , srcInfoPoints = [] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 44 52 44 53 , srcInfoPoints = [] } "b")))))) , FunBind SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 45 1 46 52 , srcInfoPoints = [] } [ Match SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 45 1 45 18 , srcInfoPoints = [] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 45 1 45 8 , srcInfoPoints = [] } "mapSame") [ PWildCard SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 45 9 45 10 , srcInfoPoints = [] } , PList SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 45 11 45 13 , srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 45 11 45 12 , SrcSpan "tests/examples/Vta1.hs" 45 12 45 13 ] } [] ] (UnGuardedRhs SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 45 14 45 18 , srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 45 14 45 15 ] } (List SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 45 16 45 18 , srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 45 16 45 17 , SrcSpan "tests/examples/Vta1.hs" 45 17 45 18 ] } [])) Nothing , Match SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 46 1 46 52 , srcInfoPoints = [] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 46 1 46 8 , srcInfoPoints = [] } "mapSame") [ PVar SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 46 9 46 12 , srcInfoPoints = [] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 46 9 46 12 , srcInfoPoints = [] } "fun") , PParen SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 46 13 46 19 , srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 46 13 46 14 , SrcSpan "tests/examples/Vta1.hs" 46 18 46 19 ] } (PInfixApp SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 46 14 46 18 , srcInfoPoints = [] } (PVar SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 46 14 46 15 , srcInfoPoints = [] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 46 14 46 15 , srcInfoPoints = [] } "x")) (Special SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 46 15 46 16 , srcInfoPoints = [] } (Cons SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 46 15 46 16 , srcInfoPoints = [] })) (PVar SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 46 16 46 18 , srcInfoPoints = [] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 46 16 46 18 , srcInfoPoints = [] } "xs"))) ] (UnGuardedRhs SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 46 20 46 52 , srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 46 20 46 21 ] } (InfixApp SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 46 22 46 52 , srcInfoPoints = [] } (App SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 46 22 46 30 , srcInfoPoints = [] } (App SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 46 22 46 28 , srcInfoPoints = [] } (Var SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 46 22 46 25 , srcInfoPoints = [] } (UnQual SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 46 22 46 25 , srcInfoPoints = [] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 46 22 46 25 , srcInfoPoints = [] } "fun"))) (TypeApp SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 46 26 46 28 , srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 46 26 46 27 ] } (TyVar SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 46 27 46 28 , srcInfoPoints = [] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 46 27 46 28 , srcInfoPoints = [] } "b")))) (Var SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 46 29 46 30 , srcInfoPoints = [] } (UnQual SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 46 29 46 30 , srcInfoPoints = [] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 46 29 46 30 , srcInfoPoints = [] } "x")))) (QConOp SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 46 31 46 32 , srcInfoPoints = [] } (Special SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 46 31 46 32 , srcInfoPoints = [] } (Cons SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 46 31 46 32 , srcInfoPoints = [] }))) (Paren SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 46 33 46 52 , srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 46 33 46 34 , SrcSpan "tests/examples/Vta1.hs" 46 51 46 52 ] } (App SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 46 34 46 51 , srcInfoPoints = [] } (App SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 46 34 46 48 , srcInfoPoints = [] } (App SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 46 34 46 44 , srcInfoPoints = [] } (Var SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 46 34 46 41 , srcInfoPoints = [] } (UnQual SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 46 34 46 41 , srcInfoPoints = [] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 46 34 46 41 , srcInfoPoints = [] } "mapSame"))) (TypeApp SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 46 42 46 44 , srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 46 42 46 43 ] } (TyVar SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 46 43 46 44 , srcInfoPoints = [] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 46 43 46 44 , srcInfoPoints = [] } "b")))) (Var SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 46 45 46 48 , srcInfoPoints = [] } (UnQual SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 46 45 46 48 , srcInfoPoints = [] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 46 45 46 48 , srcInfoPoints = [] } "fun")))) (Var SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 46 49 46 51 , srcInfoPoints = [] } (UnQual SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 46 49 46 51 , srcInfoPoints = [] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 46 49 46 51 , srcInfoPoints = [] } "xs"))))))) Nothing ] , TypeSig SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 48 1 48 46 , srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 48 6 48 8 ] } [ Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 48 1 48 5 , srcInfoPoints = [] } "pair" ] (TyForall SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 48 9 48 46 , srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 48 9 48 15 , SrcSpan "tests/examples/Vta1.hs" 48 17 48 18 ] } (Just [ UnkindedVar SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 48 16 48 17 , srcInfoPoints = [] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 48 16 48 17 , srcInfoPoints = [] } "a") ]) Nothing (TyFun SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 48 19 48 46 , srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 48 20 48 22 ] } (TyVar SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 48 19 48 20 , srcInfoPoints = [] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 48 19 48 20 , srcInfoPoints = [] } "a")) (TyParen SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 48 23 48 46 , srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 48 23 48 24 , SrcSpan "tests/examples/Vta1.hs" 48 45 48 46 ] } (TyForall SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 48 24 48 45 , srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 48 24 48 30 , SrcSpan "tests/examples/Vta1.hs" 48 32 48 33 ] } (Just [ UnkindedVar SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 48 31 48 32 , srcInfoPoints = [] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 48 31 48 32 , srcInfoPoints = [] } "b") ]) Nothing (TyFun SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 48 34 48 45 , srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 48 36 48 38 ] } (TyVar SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 48 34 48 35 , srcInfoPoints = [] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 48 34 48 35 , srcInfoPoints = [] } "b")) (TyTuple SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 48 39 48 45 , srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 48 39 48 40 , SrcSpan "tests/examples/Vta1.hs" 48 41 48 42 , SrcSpan "tests/examples/Vta1.hs" 48 44 48 45 ] } Boxed [ TyVar SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 48 40 48 41 , srcInfoPoints = [] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 48 40 48 41 , srcInfoPoints = [] } "a") , TyVar SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 48 43 48 44 , srcInfoPoints = [] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 48 43 48 44 , srcInfoPoints = [] } "b") ])))))) , FunBind SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 49 1 49 18 , srcInfoPoints = [] } [ Match SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 49 1 49 18 , srcInfoPoints = [] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 49 1 49 5 , srcInfoPoints = [] } "pair") [ PVar SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 49 6 49 7 , srcInfoPoints = [] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 49 6 49 7 , srcInfoPoints = [] } "x") , PVar SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 49 8 49 9 , srcInfoPoints = [] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 49 8 49 9 , srcInfoPoints = [] } "y") ] (UnGuardedRhs SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 49 10 49 18 , srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 49 10 49 11 ] } (Tuple SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 49 12 49 18 , srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 49 12 49 13 , SrcSpan "tests/examples/Vta1.hs" 49 14 49 15 , SrcSpan "tests/examples/Vta1.hs" 49 17 49 18 ] } Boxed [ Var SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 49 13 49 14 , srcInfoPoints = [] } (UnQual SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 49 13 49 14 , srcInfoPoints = [] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 49 13 49 14 , srcInfoPoints = [] } "x")) , Var SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 49 16 49 17 , srcInfoPoints = [] } (UnQual SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 49 16 49 17 , srcInfoPoints = [] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 49 16 49 17 , srcInfoPoints = [] } "y")) ])) Nothing ] , PatBind SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 51 1 51 27 , srcInfoPoints = [] } (PVar SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 51 1 51 2 , srcInfoPoints = [] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 51 1 51 2 , srcInfoPoints = [] } "b")) (UnGuardedRhs SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 51 3 51 27 , srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 51 3 51 4 ] } (App SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 51 5 51 27 , srcInfoPoints = [] } (App SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 51 5 51 22 , srcInfoPoints = [] } (App SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 51 5 51 16 , srcInfoPoints = [] } (App SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 51 5 51 14 , srcInfoPoints = [] } (Var SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 51 5 51 9 , srcInfoPoints = [] } (UnQual SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 51 5 51 9 , srcInfoPoints = [] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 51 5 51 9 , srcInfoPoints = [] } "pair"))) (TypeApp SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 51 10 51 14 , srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 51 10 51 11 ] } (TyCon SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 51 11 51 14 , srcInfoPoints = [] } (UnQual SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 51 11 51 14 , srcInfoPoints = [] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 51 11 51 14 , srcInfoPoints = [] } "Int"))))) (Lit SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 51 15 51 16 , srcInfoPoints = [] } (Int SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 51 15 51 16 , srcInfoPoints = [] } 3 "3"))) (TypeApp SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 51 17 51 22 , srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 51 17 51 18 ] } (TyCon SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 51 18 51 22 , srcInfoPoints = [] } (UnQual SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 51 18 51 22 , srcInfoPoints = [] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 51 18 51 22 , srcInfoPoints = [] } "Bool"))))) (Con SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 51 23 51 27 , srcInfoPoints = [] } (UnQual SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 51 23 51 27 , srcInfoPoints = [] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 51 23 51 27 , srcInfoPoints = [] } "True"))))) Nothing , PatBind SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 52 1 52 23 , srcInfoPoints = [] } (PVar SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 52 1 52 2 , srcInfoPoints = [] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 52 1 52 2 , srcInfoPoints = [] } "c")) (UnGuardedRhs SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 52 3 52 23 , srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 52 3 52 4 ] } (App SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 52 5 52 23 , srcInfoPoints = [] } (App SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 52 5 52 15 , srcInfoPoints = [] } (Var SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 52 5 52 12 , srcInfoPoints = [] } (UnQual SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 52 5 52 12 , srcInfoPoints = [] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 52 5 52 12 , srcInfoPoints = [] } "mapSame"))) (Var SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 52 13 52 15 , srcInfoPoints = [] } (UnQual SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 52 13 52 15 , srcInfoPoints = [] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 52 13 52 15 , srcInfoPoints = [] } "id")))) (List SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 52 16 52 23 , srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 52 16 52 17 , SrcSpan "tests/examples/Vta1.hs" 52 18 52 19 , SrcSpan "tests/examples/Vta1.hs" 52 20 52 21 , SrcSpan "tests/examples/Vta1.hs" 52 22 52 23 ] } [ Lit SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 52 17 52 18 , srcInfoPoints = [] } (Int SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 52 17 52 18 , srcInfoPoints = [] } 1 "1") , Lit SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 52 19 52 20 , srcInfoPoints = [] } (Int SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 52 19 52 20 , srcInfoPoints = [] } 2 "2") , Lit SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 52 21 52 22 , srcInfoPoints = [] } (Int SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 52 21 52 22 , srcInfoPoints = [] } 3 "3") ]))) Nothing , PatBind SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 53 1 53 22 , srcInfoPoints = [] } (PVar SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 53 1 53 2 , srcInfoPoints = [] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 53 1 53 2 , srcInfoPoints = [] } "d")) (UnGuardedRhs SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 53 3 53 22 , srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 53 3 53 4 ] } (App SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 53 5 53 22 , srcInfoPoints = [] } (App SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 53 5 53 17 , srcInfoPoints = [] } (App SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 53 5 53 11 , srcInfoPoints = [] } (Var SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 53 5 53 9 , srcInfoPoints = [] } (UnQual SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 53 5 53 9 , srcInfoPoints = [] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 53 5 53 9 , srcInfoPoints = [] } "pair"))) (Lit SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 53 10 53 11 , srcInfoPoints = [] } (Int SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 53 10 53 11 , srcInfoPoints = [] } 3 "3"))) (TypeApp SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 53 12 53 17 , srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 53 12 53 13 ] } (TyCon SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 53 13 53 17 , srcInfoPoints = [] } (UnQual SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 53 13 53 17 , srcInfoPoints = [] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 53 13 53 17 , srcInfoPoints = [] } "Bool"))))) (Con SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 53 18 53 22 , srcInfoPoints = [] } (UnQual SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 53 18 53 22 , srcInfoPoints = [] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 53 18 53 22 , srcInfoPoints = [] } "True"))))) Nothing , TypeSig SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 55 1 55 52 , srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 55 9 55 11 ] } [ Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 55 1 55 8 , srcInfoPoints = [] } "pairnum" ] (TyForall SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 55 12 55 52 , srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 55 12 55 18 , SrcSpan "tests/examples/Vta1.hs" 55 20 55 21 ] } (Just [ UnkindedVar SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 55 19 55 20 , srcInfoPoints = [] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 55 19 55 20 , srcInfoPoints = [] } "a") ]) (Just (CxSingle SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 55 22 55 30 , srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 55 28 55 30 ] } (ClassA SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 55 22 55 30 , srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 55 28 55 30 ] } (UnQual SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 55 22 55 25 , srcInfoPoints = [] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 55 22 55 25 , srcInfoPoints = [] } "Num")) [ TyVar SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 55 26 55 27 , srcInfoPoints = [] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 55 26 55 27 , srcInfoPoints = [] } "a") ]))) (TyForall SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 55 31 55 52 , srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 55 31 55 37 , SrcSpan "tests/examples/Vta1.hs" 55 39 55 40 ] } (Just [ UnkindedVar SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 55 38 55 39 , srcInfoPoints = [] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 55 38 55 39 , srcInfoPoints = [] } "b") ]) Nothing (TyFun SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 55 41 55 52 , srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 55 43 55 45 ] } (TyVar SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 55 41 55 42 , srcInfoPoints = [] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 55 41 55 42 , srcInfoPoints = [] } "b")) (TyTuple SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 55 46 55 52 , srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 55 46 55 47 , SrcSpan "tests/examples/Vta1.hs" 55 48 55 49 , SrcSpan "tests/examples/Vta1.hs" 55 51 55 52 ] } Boxed [ TyVar SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 55 47 55 48 , srcInfoPoints = [] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 55 47 55 48 , srcInfoPoints = [] } "a") , TyVar SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 55 50 55 51 , srcInfoPoints = [] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 55 50 55 51 , srcInfoPoints = [] } "b") ])))) , PatBind SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 56 1 56 17 , srcInfoPoints = [] } (PVar SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 56 1 56 8 , srcInfoPoints = [] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 56 1 56 8 , srcInfoPoints = [] } "pairnum")) (UnGuardedRhs SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 56 9 56 17 , srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 56 9 56 10 ] } (App SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 56 11 56 17 , srcInfoPoints = [] } (Var SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 56 11 56 15 , srcInfoPoints = [] } (UnQual SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 56 11 56 15 , srcInfoPoints = [] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 56 11 56 15 , srcInfoPoints = [] } "pair"))) (Lit SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 56 16 56 17 , srcInfoPoints = [] } (Int SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 56 16 56 17 , srcInfoPoints = [] } 3 "3")))) Nothing , PatBind SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 58 1 58 73 , srcInfoPoints = [] } (PVar SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 58 1 58 2 , srcInfoPoints = [] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 58 1 58 2 , srcInfoPoints = [] } "e")) (UnGuardedRhs SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 58 3 58 73 , srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 58 3 58 4 ] } (App SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 58 5 58 73 , srcInfoPoints = [] } (App SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 58 5 58 68 , srcInfoPoints = [] } (App SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 58 5 58 62 , srcInfoPoints = [] } (Paren SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 58 5 58 57 , srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 58 5 58 6 , SrcSpan "tests/examples/Vta1.hs" 58 56 58 57 ] } (ExpTypeSig SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 58 6 58 56 , srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 58 13 58 15 ] } (App SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 58 6 58 12 , srcInfoPoints = [] } (Var SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 58 6 58 10 , srcInfoPoints = [] } (UnQual SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 58 6 58 10 , srcInfoPoints = [] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 58 6 58 10 , srcInfoPoints = [] } "pair"))) (Lit SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 58 11 58 12 , srcInfoPoints = [] } (Int SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 58 11 58 12 , srcInfoPoints = [] } 3 "3"))) (TyForall SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 58 16 58 56 , srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 58 16 58 22 , SrcSpan "tests/examples/Vta1.hs" 58 24 58 25 ] } (Just [ UnkindedVar SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 58 23 58 24 , srcInfoPoints = [] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 58 23 58 24 , srcInfoPoints = [] } "a") ]) (Just (CxSingle SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 58 26 58 34 , srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 58 32 58 34 ] } (ClassA SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 58 26 58 34 , srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 58 32 58 34 ] } (UnQual SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 58 26 58 29 , srcInfoPoints = [] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 58 26 58 29 , srcInfoPoints = [] } "Num")) [ TyVar SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 58 30 58 31 , srcInfoPoints = [] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 58 30 58 31 , srcInfoPoints = [] } "a") ]))) (TyForall SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 58 35 58 56 , srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 58 35 58 41 , SrcSpan "tests/examples/Vta1.hs" 58 43 58 44 ] } (Just [ UnkindedVar SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 58 42 58 43 , srcInfoPoints = [] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 58 42 58 43 , srcInfoPoints = [] } "b") ]) Nothing (TyFun SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 58 45 58 56 , srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 58 47 58 49 ] } (TyVar SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 58 45 58 46 , srcInfoPoints = [] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 58 45 58 46 , srcInfoPoints = [] } "b")) (TyTuple SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 58 50 58 56 , srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 58 50 58 51 , SrcSpan "tests/examples/Vta1.hs" 58 52 58 53 , SrcSpan "tests/examples/Vta1.hs" 58 55 58 56 ] } Boxed [ TyVar SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 58 51 58 52 , srcInfoPoints = [] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 58 51 58 52 , srcInfoPoints = [] } "a") , TyVar SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 58 54 58 55 , srcInfoPoints = [] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 58 54 58 55 , srcInfoPoints = [] } "b") ])))))) (TypeApp SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 58 58 58 62 , srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 58 58 58 59 ] } (TyCon SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 58 59 58 62 , srcInfoPoints = [] } (UnQual SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 58 59 58 62 , srcInfoPoints = [] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 58 59 58 62 , srcInfoPoints = [] } "Int"))))) (TypeApp SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 58 63 58 68 , srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 58 63 58 64 ] } (TyCon SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 58 64 58 68 , srcInfoPoints = [] } (UnQual SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 58 64 58 68 , srcInfoPoints = [] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 58 64 58 68 , srcInfoPoints = [] } "Bool"))))) (Con SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 58 69 58 73 , srcInfoPoints = [] } (UnQual SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 58 69 58 73 , srcInfoPoints = [] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 58 69 58 73 , srcInfoPoints = [] } "True"))))) Nothing , PatBind SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 59 1 59 28 , srcInfoPoints = [] } (PVar SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 59 1 59 2 , srcInfoPoints = [] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 59 1 59 2 , srcInfoPoints = [] } "h")) (UnGuardedRhs SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 59 3 59 28 , srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 59 3 59 4 ] } (App SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 59 5 59 28 , srcInfoPoints = [] } (App SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 59 5 59 23 , srcInfoPoints = [] } (App SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 59 5 59 17 , srcInfoPoints = [] } (Var SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 59 5 59 12 , srcInfoPoints = [] } (UnQual SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 59 5 59 12 , srcInfoPoints = [] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 59 5 59 12 , srcInfoPoints = [] } "pairnum"))) (TypeApp SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 59 13 59 17 , srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 59 13 59 14 ] } (TyCon SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 59 14 59 17 , srcInfoPoints = [] } (UnQual SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 59 14 59 17 , srcInfoPoints = [] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 59 14 59 17 , srcInfoPoints = [] } "Int"))))) (TypeApp SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 59 18 59 23 , srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 59 18 59 19 ] } (TyCon SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 59 19 59 23 , srcInfoPoints = [] } (UnQual SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 59 19 59 23 , srcInfoPoints = [] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 59 19 59 23 , srcInfoPoints = [] } "Bool"))))) (Con SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 59 24 59 28 , srcInfoPoints = [] } (UnQual SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 59 24 59 28 , srcInfoPoints = [] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 59 24 59 28 , srcInfoPoints = [] } "True"))))) Nothing , DataDecl SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 61 1 61 29 , srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 61 26 61 27 ] } (DataType SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 61 1 61 5 , srcInfoPoints = [] }) Nothing (DHApp SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 61 6 61 25 , srcInfoPoints = [] } (DHead SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 61 6 61 11 , srcInfoPoints = [] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 61 6 61 11 , srcInfoPoints = [] } "First")) (KindedVar SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 61 12 61 25 , srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 61 12 61 13 , SrcSpan "tests/examples/Vta1.hs" 61 15 61 17 , SrcSpan "tests/examples/Vta1.hs" 61 24 61 25 ] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 61 13 61 14 , srcInfoPoints = [] } "a") (KindFn SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 61 18 61 24 , srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 61 20 61 22 ] } (KindStar SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 61 18 61 19 , srcInfoPoints = [] }) (KindStar SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 61 23 61 24 , srcInfoPoints = [] })))) [ QualConDecl SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 61 28 61 29 , srcInfoPoints = [] } Nothing Nothing (ConDecl SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 61 28 61 29 , srcInfoPoints = [] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 61 28 61 29 , srcInfoPoints = [] } "F") []) ] [] , DataDecl SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 62 1 62 24 , srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 62 21 62 22 ] } (DataType SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 62 1 62 5 , srcInfoPoints = [] }) Nothing (DHApp SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 62 6 62 20 , srcInfoPoints = [] } (DHead SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 62 6 62 11 , srcInfoPoints = [] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 62 6 62 11 , srcInfoPoints = [] } "Proxy")) (KindedVar SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 62 12 62 20 , srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 62 12 62 13 , SrcSpan "tests/examples/Vta1.hs" 62 15 62 17 , SrcSpan "tests/examples/Vta1.hs" 62 19 62 20 ] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 62 13 62 14 , srcInfoPoints = [] } "a") (KindVar SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 62 18 62 19 , srcInfoPoints = [] } (UnQual SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 62 18 62 19 , srcInfoPoints = [] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 62 18 62 19 , srcInfoPoints = [] } "k"))))) [ QualConDecl SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 62 23 62 24 , srcInfoPoints = [] } Nothing Nothing (ConDecl SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 62 23 62 24 , srcInfoPoints = [] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 62 23 62 24 , srcInfoPoints = [] } "P") []) ] [] , DataDecl SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 63 1 63 34 , srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 63 31 63 32 ] } (DataType SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 63 1 63 5 , srcInfoPoints = [] }) Nothing (DHApp SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 63 6 63 30 , srcInfoPoints = [] } (DHead SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 63 6 63 11 , srcInfoPoints = [] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 63 6 63 11 , srcInfoPoints = [] } "Three")) (KindedVar SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 63 12 63 30 , srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 63 12 63 13 , SrcSpan "tests/examples/Vta1.hs" 63 15 63 17 , SrcSpan "tests/examples/Vta1.hs" 63 29 63 30 ] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 63 13 63 14 , srcInfoPoints = [] } "a") (KindFn SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 63 18 63 29 , srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 63 20 63 22 ] } (KindStar SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 63 18 63 19 , srcInfoPoints = [] }) (KindFn SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 63 23 63 29 , srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 63 25 63 27 ] } (KindVar SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 63 23 63 24 , srcInfoPoints = [] } (UnQual SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 63 23 63 24 , srcInfoPoints = [] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 63 23 63 24 , srcInfoPoints = [] } "k"))) (KindStar SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 63 28 63 29 , srcInfoPoints = [] }))))) [ QualConDecl SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 63 33 63 34 , srcInfoPoints = [] } Nothing Nothing (ConDecl SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 63 33 63 34 , srcInfoPoints = [] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 63 33 63 34 , srcInfoPoints = [] } "T") []) ] [] , TypeSig SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 65 1 65 22 , srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 65 5 65 7 ] } [ Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 65 1 65 4 , srcInfoPoints = [] } "foo" ] (TyFun SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 65 8 65 22 , srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 65 16 65 18 ] } (TyApp SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 65 8 65 15 , srcInfoPoints = [] } (TyCon SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 65 8 65 13 , srcInfoPoints = [] } (UnQual SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 65 8 65 13 , srcInfoPoints = [] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 65 8 65 13 , srcInfoPoints = [] } "Proxy"))) (TyVar SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 65 14 65 15 , srcInfoPoints = [] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 65 14 65 15 , srcInfoPoints = [] } "a"))) (TyCon SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 65 19 65 22 , srcInfoPoints = [] } (UnQual SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 65 19 65 22 , srcInfoPoints = [] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 65 19 65 22 , srcInfoPoints = [] } "Int")))) , FunBind SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 66 1 66 10 , srcInfoPoints = [] } [ Match SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 66 1 66 10 , srcInfoPoints = [] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 66 1 66 4 , srcInfoPoints = [] } "foo") [ PWildCard SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 66 5 66 6 , srcInfoPoints = [] } ] (UnGuardedRhs SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 66 7 66 10 , srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 66 7 66 8 ] } (Lit SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 66 9 66 10 , srcInfoPoints = [] } (Int SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 66 9 66 10 , srcInfoPoints = [] } 0 "0"))) Nothing ] , TypeSig SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 68 1 68 24 , srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 68 7 68 9 ] } [ Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 68 1 68 6 , srcInfoPoints = [] } "first" ] (TyFun SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 68 10 68 24 , srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 68 18 68 20 ] } (TyApp SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 68 10 68 17 , srcInfoPoints = [] } (TyCon SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 68 10 68 15 , srcInfoPoints = [] } (UnQual SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 68 10 68 15 , srcInfoPoints = [] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 68 10 68 15 , srcInfoPoints = [] } "First"))) (TyVar SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 68 16 68 17 , srcInfoPoints = [] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 68 16 68 17 , srcInfoPoints = [] } "a"))) (TyCon SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 68 21 68 24 , srcInfoPoints = [] } (UnQual SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 68 21 68 24 , srcInfoPoints = [] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 68 21 68 24 , srcInfoPoints = [] } "Int")))) , FunBind SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 69 1 69 12 , srcInfoPoints = [] } [ Match SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 69 1 69 12 , srcInfoPoints = [] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 69 1 69 6 , srcInfoPoints = [] } "first") [ PWildCard SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 69 7 69 8 , srcInfoPoints = [] } ] (UnGuardedRhs SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 69 9 69 12 , srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 69 9 69 10 ] } (Lit SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 69 11 69 12 , srcInfoPoints = [] } (Int SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 69 11 69 12 , srcInfoPoints = [] } 0 "0"))) Nothing ] , PatBind SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 71 1 71 16 , srcInfoPoints = [] } (PVar SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 71 1 71 6 , srcInfoPoints = [] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 71 1 71 6 , srcInfoPoints = [] } "fTest")) (UnGuardedRhs SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 71 7 71 16 , srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 71 7 71 8 ] } (App SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 71 9 71 16 , srcInfoPoints = [] } (Var SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 71 9 71 14 , srcInfoPoints = [] } (UnQual SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 71 9 71 14 , srcInfoPoints = [] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 71 9 71 14 , srcInfoPoints = [] } "first"))) (Con SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 71 15 71 16 , srcInfoPoints = [] } (UnQual SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 71 15 71 16 , srcInfoPoints = [] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 71 15 71 16 , srcInfoPoints = [] } "F"))))) Nothing , PatBind SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 72 1 72 24 , srcInfoPoints = [] } (PVar SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 72 1 72 7 , srcInfoPoints = [] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 72 1 72 7 , srcInfoPoints = [] } "fMaybe")) (UnGuardedRhs SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 72 8 72 24 , srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 72 8 72 9 ] } (App SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 72 10 72 24 , srcInfoPoints = [] } (App SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 72 10 72 22 , srcInfoPoints = [] } (Var SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 72 10 72 15 , srcInfoPoints = [] } (UnQual SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 72 10 72 15 , srcInfoPoints = [] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 72 10 72 15 , srcInfoPoints = [] } "first"))) (TypeApp SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 72 16 72 22 , srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 72 16 72 17 ] } (TyCon SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 72 17 72 22 , srcInfoPoints = [] } (UnQual SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 72 17 72 22 , srcInfoPoints = [] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 72 17 72 22 , srcInfoPoints = [] } "Maybe"))))) (Con SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 72 23 72 24 , srcInfoPoints = [] } (UnQual SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 72 23 72 24 , srcInfoPoints = [] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 72 23 72 24 , srcInfoPoints = [] } "F"))))) Nothing , PatBind SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 74 1 74 13 , srcInfoPoints = [] } (PVar SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 74 1 74 5 , srcInfoPoints = [] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 74 1 74 5 , srcInfoPoints = [] } "test")) (UnGuardedRhs SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 74 6 74 13 , srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 74 6 74 7 ] } (App SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 74 8 74 13 , srcInfoPoints = [] } (Var SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 74 8 74 11 , srcInfoPoints = [] } (UnQual SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 74 8 74 11 , srcInfoPoints = [] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 74 8 74 11 , srcInfoPoints = [] } "foo"))) (Con SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 74 12 74 13 , srcInfoPoints = [] } (UnQual SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 74 12 74 13 , srcInfoPoints = [] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 74 12 74 13 , srcInfoPoints = [] } "P"))))) Nothing , PatBind SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 75 1 75 18 , srcInfoPoints = [] } (PVar SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 75 1 75 4 , srcInfoPoints = [] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 75 1 75 4 , srcInfoPoints = [] } "bar")) (UnGuardedRhs SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 75 5 75 18 , srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 75 5 75 6 ] } (App SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 75 7 75 18 , srcInfoPoints = [] } (App SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 75 7 75 16 , srcInfoPoints = [] } (Var SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 75 7 75 10 , srcInfoPoints = [] } (UnQual SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 75 7 75 10 , srcInfoPoints = [] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 75 7 75 10 , srcInfoPoints = [] } "foo"))) (TypeApp SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 75 11 75 16 , srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 75 11 75 12 ] } (TyCon SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 75 12 75 16 , srcInfoPoints = [] } (UnQual SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 75 12 75 16 , srcInfoPoints = [] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 75 12 75 16 , srcInfoPoints = [] } "Bool"))))) (Con SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 75 17 75 18 , srcInfoPoints = [] } (UnQual SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 75 17 75 18 , srcInfoPoints = [] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 75 17 75 18 , srcInfoPoints = [] } "P"))))) Nothing , TypeSig SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 77 1 77 22 , srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 77 5 77 7 ] } [ Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 77 1 77 4 , srcInfoPoints = [] } "too" ] (TyFun SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 77 8 77 22 , srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 77 16 77 18 ] } (TyApp SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 77 8 77 15 , srcInfoPoints = [] } (TyCon SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 77 8 77 13 , srcInfoPoints = [] } (UnQual SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 77 8 77 13 , srcInfoPoints = [] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 77 8 77 13 , srcInfoPoints = [] } "Three"))) (TyVar SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 77 14 77 15 , srcInfoPoints = [] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 77 14 77 15 , srcInfoPoints = [] } "a"))) (TyCon SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 77 19 77 22 , srcInfoPoints = [] } (UnQual SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 77 19 77 22 , srcInfoPoints = [] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 77 19 77 22 , srcInfoPoints = [] } "Int")))) , FunBind SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 78 1 78 10 , srcInfoPoints = [] } [ Match SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 78 1 78 10 , srcInfoPoints = [] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 78 1 78 4 , srcInfoPoints = [] } "too") [ PWildCard SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 78 5 78 6 , srcInfoPoints = [] } ] (UnGuardedRhs SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 78 7 78 10 , srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 78 7 78 8 ] } (Lit SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 78 9 78 10 , srcInfoPoints = [] } (Int SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 78 9 78 10 , srcInfoPoints = [] } 3 "3"))) Nothing ] , PatBind SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 80 1 80 18 , srcInfoPoints = [] } (PVar SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 80 1 80 10 , srcInfoPoints = [] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 80 1 80 10 , srcInfoPoints = [] } "threeBase")) (UnGuardedRhs SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 80 11 80 18 , srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 80 11 80 12 ] } (App SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 80 13 80 18 , srcInfoPoints = [] } (Var SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 80 13 80 16 , srcInfoPoints = [] } (UnQual SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 80 13 80 16 , srcInfoPoints = [] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 80 13 80 16 , srcInfoPoints = [] } "too"))) (Con SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 80 17 80 18 , srcInfoPoints = [] } (UnQual SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 80 17 80 18 , srcInfoPoints = [] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 80 17 80 18 , srcInfoPoints = [] } "T"))))) Nothing , PatBind SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 81 1 81 24 , srcInfoPoints = [] } (PVar SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 81 1 81 8 , srcInfoPoints = [] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 81 1 81 8 , srcInfoPoints = [] } "threeOk")) (UnGuardedRhs SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 81 9 81 24 , srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 81 9 81 10 ] } (App SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 81 11 81 24 , srcInfoPoints = [] } (App SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 81 11 81 22 , srcInfoPoints = [] } (Var SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 81 11 81 14 , srcInfoPoints = [] } (UnQual SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 81 11 81 14 , srcInfoPoints = [] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 81 11 81 14 , srcInfoPoints = [] } "too"))) (TypeApp SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 81 15 81 22 , srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 81 15 81 16 ] } (TyCon SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 81 16 81 22 , srcInfoPoints = [] } (UnQual SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 81 16 81 22 , srcInfoPoints = [] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 81 16 81 22 , srcInfoPoints = [] } "Either"))))) (Con SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 81 23 81 24 , srcInfoPoints = [] } (UnQual SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 81 23 81 24 , srcInfoPoints = [] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 81 23 81 24 , srcInfoPoints = [] } "T"))))) Nothing , PatBind SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 83 1 83 20 , srcInfoPoints = [] } (PVar SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 83 1 83 5 , srcInfoPoints = [] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 83 1 83 5 , srcInfoPoints = [] } "blah")) (UnGuardedRhs SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 83 6 83 20 , srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 83 6 83 7 ] } (App SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 83 8 83 20 , srcInfoPoints = [] } (Con SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 83 8 83 15 , srcInfoPoints = [] } (UnQual SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 83 8 83 15 , srcInfoPoints = [] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 83 8 83 15 , srcInfoPoints = [] } "Nothing"))) (TypeApp SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 83 16 83 20 , srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 83 16 83 17 ] } (TyCon SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 83 17 83 20 , srcInfoPoints = [] } (UnQual SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 83 17 83 20 , srcInfoPoints = [] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 83 17 83 20 , srcInfoPoints = [] } "Int")))))) Nothing , DataDecl SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 85 1 85 61 , srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 85 11 85 12 ] } (NewType SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 85 1 85 8 , srcInfoPoints = [] }) Nothing (DHead SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 85 9 85 10 , srcInfoPoints = [] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 85 9 85 10 , srcInfoPoints = [] } "N")) [ QualConDecl SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 85 13 85 61 , srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 85 17 85 18 , SrcSpan "tests/examples/Vta1.hs" 85 60 85 61 ] } Nothing Nothing (RecDecl SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 85 13 85 61 , srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 85 17 85 18 , SrcSpan "tests/examples/Vta1.hs" 85 60 85 61 ] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 85 13 85 16 , srcInfoPoints = [] } "MkN") [ FieldDecl SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 85 19 85 59 , srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 85 25 85 27 ] } [ Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 85 19 85 24 , srcInfoPoints = [] } "unMkN" ] (TyForall SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 85 28 85 59 , srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 85 28 85 34 , SrcSpan "tests/examples/Vta1.hs" 85 36 85 37 ] } (Just [ UnkindedVar SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 85 35 85 36 , srcInfoPoints = [] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 85 35 85 36 , srcInfoPoints = [] } "a") ]) (Just (CxSingle SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 85 38 85 47 , srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 85 45 85 47 ] } (ClassA SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 85 38 85 47 , srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 85 45 85 47 ] } (UnQual SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 85 38 85 42 , srcInfoPoints = [] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 85 38 85 42 , srcInfoPoints = [] } "Show")) [ TyVar SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 85 43 85 44 , srcInfoPoints = [] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 85 43 85 44 , srcInfoPoints = [] } "a") ]))) (TyFun SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 85 48 85 59 , srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 85 50 85 52 ] } (TyVar SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 85 48 85 49 , srcInfoPoints = [] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 85 48 85 49 , srcInfoPoints = [] } "a")) (TyCon SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 85 53 85 59 , srcInfoPoints = [] } (UnQual SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 85 53 85 59 , srcInfoPoints = [] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 85 53 85 59 , srcInfoPoints = [] } "String"))))) ]) ] [] , PatBind SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 87 1 87 13 , srcInfoPoints = [] } (PVar SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 87 1 87 2 , srcInfoPoints = [] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 87 1 87 2 , srcInfoPoints = [] } "n")) (UnGuardedRhs SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 87 3 87 13 , srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 87 3 87 4 ] } (App SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 87 5 87 13 , srcInfoPoints = [] } (Con SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 87 5 87 8 , srcInfoPoints = [] } (UnQual SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 87 5 87 8 , srcInfoPoints = [] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 87 5 87 8 , srcInfoPoints = [] } "MkN"))) (Var SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 87 9 87 13 , srcInfoPoints = [] } (UnQual SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 87 9 87 13 , srcInfoPoints = [] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 87 9 87 13 , srcInfoPoints = [] } "show"))))) Nothing , PatBind SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 89 1 89 20 , srcInfoPoints = [] } (PVar SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 89 1 89 4 , srcInfoPoints = [] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 89 1 89 4 , srcInfoPoints = [] } "boo")) (UnGuardedRhs SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 89 5 89 20 , srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 89 5 89 6 ] } (App SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 89 7 89 20 , srcInfoPoints = [] } (App SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 89 7 89 14 , srcInfoPoints = [] } (Var SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 89 7 89 12 , srcInfoPoints = [] } (UnQual SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 89 7 89 12 , srcInfoPoints = [] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 89 7 89 12 , srcInfoPoints = [] } "unMkN"))) (Var SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 89 13 89 14 , srcInfoPoints = [] } (UnQual SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 89 13 89 14 , srcInfoPoints = [] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 89 13 89 14 , srcInfoPoints = [] } "n")))) (TypeApp SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 89 15 89 20 , srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 89 15 89 16 ] } (TyCon SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 89 16 89 20 , srcInfoPoints = [] } (UnQual SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 89 16 89 20 , srcInfoPoints = [] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 89 16 89 20 , srcInfoPoints = [] } "Bool")))))) Nothing , TypeSig SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 91 1 91 47 , srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 91 6 91 8 ] } [ Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 91 1 91 5 , srcInfoPoints = [] } "boo2" ] (TyForall SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 91 9 91 47 , srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 91 9 91 15 , SrcSpan "tests/examples/Vta1.hs" 91 30 91 31 ] } (Just [ KindedVar SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 91 16 91 29 , srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 91 16 91 17 , SrcSpan "tests/examples/Vta1.hs" 91 19 91 21 , SrcSpan "tests/examples/Vta1.hs" 91 28 91 29 ] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 91 17 91 18 , srcInfoPoints = [] } "a") (KindFn SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 91 22 91 28 , srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 91 24 91 26 ] } (KindStar SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 91 22 91 23 , srcInfoPoints = [] }) (KindStar SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 91 27 91 28 , srcInfoPoints = [] })) ]) Nothing (TyFun SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 91 32 91 47 , srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 91 40 91 42 ] } (TyApp SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 91 32 91 39 , srcInfoPoints = [] } (TyCon SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 91 32 91 37 , srcInfoPoints = [] } (UnQual SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 91 32 91 37 , srcInfoPoints = [] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 91 32 91 37 , srcInfoPoints = [] } "Proxy"))) (TyVar SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 91 38 91 39 , srcInfoPoints = [] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 91 38 91 39 , srcInfoPoints = [] } "a"))) (TyCon SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 91 43 91 47 , srcInfoPoints = [] } (UnQual SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 91 43 91 47 , srcInfoPoints = [] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 91 43 91 47 , srcInfoPoints = [] } "Bool"))))) , FunBind SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 92 1 92 15 , srcInfoPoints = [] } [ Match SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 92 1 92 15 , srcInfoPoints = [] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 92 1 92 5 , srcInfoPoints = [] } "boo2") [ PWildCard SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 92 6 92 7 , srcInfoPoints = [] } ] (UnGuardedRhs SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 92 8 92 15 , srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 92 8 92 9 ] } (Con SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 92 10 92 15 , srcInfoPoints = [] } (UnQual SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 92 10 92 15 , srcInfoPoints = [] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 92 10 92 15 , srcInfoPoints = [] } "False")))) Nothing ] , PatBind SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 94 1 94 14 , srcInfoPoints = [] } (PVar SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 94 1 94 5 , srcInfoPoints = [] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 94 1 94 5 , srcInfoPoints = [] } "base")) (UnGuardedRhs SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 94 6 94 14 , srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 94 6 94 7 ] } (App SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 94 8 94 14 , srcInfoPoints = [] } (Var SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 94 8 94 12 , srcInfoPoints = [] } (UnQual SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 94 8 94 12 , srcInfoPoints = [] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 94 8 94 12 , srcInfoPoints = [] } "boo2"))) (Con SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 94 13 94 14 , srcInfoPoints = [] } (UnQual SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 94 13 94 14 , srcInfoPoints = [] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 94 13 94 14 , srcInfoPoints = [] } "P"))))) Nothing , PatBind SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 95 1 95 20 , srcInfoPoints = [] } (PVar SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 95 1 95 5 , srcInfoPoints = [] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 95 1 95 5 , srcInfoPoints = [] } "bar'")) (UnGuardedRhs SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 95 5 95 20 , srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 95 5 95 6 ] } (App SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 95 7 95 20 , srcInfoPoints = [] } (App SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 95 7 95 18 , srcInfoPoints = [] } (Var SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 95 7 95 11 , srcInfoPoints = [] } (UnQual SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 95 7 95 11 , srcInfoPoints = [] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 95 7 95 11 , srcInfoPoints = [] } "boo2"))) (TypeApp SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 95 12 95 18 , srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 95 12 95 13 ] } (TyCon SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 95 13 95 18 , srcInfoPoints = [] } (UnQual SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 95 13 95 18 , srcInfoPoints = [] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 95 13 95 18 , srcInfoPoints = [] } "Maybe"))))) (Con SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 95 19 95 20 , srcInfoPoints = [] } (UnQual SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 95 19 95 20 , srcInfoPoints = [] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 95 19 95 20 , srcInfoPoints = [] } "P"))))) Nothing ] , [ Comment False (SrcSpan "tests/examples/Vta1.hs" 4 1 4 40) " tests about visible type application" , Comment False (SrcSpan "tests/examples/Vta1.hs" 18 44 18 46) "" , Comment False (SrcSpan "tests/examples/Vta1.hs" 19 1 19 29) " (False, 7) :: (Bool, Int)" , Comment False (SrcSpan "tests/examples/Vta1.hs" 21 36 21 52) " \"3\" :: String" , Comment False (SrcSpan "tests/examples/Vta1.hs" 22 40 22 56) " \"5\" :: String" , Comment False (SrcSpan "tests/examples/Vta1.hs" 23 45 23 61) " \"7\" :: String" , Comment False (SrcSpan "tests/examples/Vta1.hs" 29 40 29 67) " (5, True) :: (Int, Bool)" , Comment False (SrcSpan "tests/examples/Vta1.hs" 30 36 30 68) " (1, \"hello\") :: (Int, String)" , Comment False (SrcSpan "tests/examples/Vta1.hs" 31 36 31 51) " [7] :: [Int]" , Comment False (SrcSpan "tests/examples/Vta1.hs" 62 25 62 77) " This expands to P (kind variable) (type variable)" , Comment False (SrcSpan "tests/examples/Vta1.hs" 75 19 75 33) " should work" , Comment False (SrcSpan "tests/examples/Vta1.hs" 95 21 95 35) " should work" ] )