1ParseOk
2  ( Module
3      SrcSpanInfo
4        { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 1 1 96 1
5        , srcInfoPoints =
6            [ SrcSpan "tests/examples/Vta1.hs" 1 1 1 1
7            , SrcSpan "tests/examples/Vta1.hs" 6 1 6 1
8            , SrcSpan "tests/examples/Vta1.hs" 6 1 6 1
9            , SrcSpan "tests/examples/Vta1.hs" 8 1 8 1
10            , SrcSpan "tests/examples/Vta1.hs" 9 1 9 1
11            , SrcSpan "tests/examples/Vta1.hs" 11 1 11 1
12            , SrcSpan "tests/examples/Vta1.hs" 13 1 13 1
13            , SrcSpan "tests/examples/Vta1.hs" 15 1 15 1
14            , SrcSpan "tests/examples/Vta1.hs" 16 1 16 1
15            , SrcSpan "tests/examples/Vta1.hs" 18 1 18 1
16            , SrcSpan "tests/examples/Vta1.hs" 21 1 21 1
17            , SrcSpan "tests/examples/Vta1.hs" 22 1 22 1
18            , SrcSpan "tests/examples/Vta1.hs" 23 1 23 1
19            , SrcSpan "tests/examples/Vta1.hs" 25 1 25 1
20            , SrcSpan "tests/examples/Vta1.hs" 27 1 27 1
21            , SrcSpan "tests/examples/Vta1.hs" 29 1 29 1
22            , SrcSpan "tests/examples/Vta1.hs" 30 1 30 1
23            , SrcSpan "tests/examples/Vta1.hs" 31 1 31 1
24            , SrcSpan "tests/examples/Vta1.hs" 33 1 33 1
25            , SrcSpan "tests/examples/Vta1.hs" 34 1 34 1
26            , SrcSpan "tests/examples/Vta1.hs" 36 1 36 1
27            , SrcSpan "tests/examples/Vta1.hs" 37 1 37 1
28            , SrcSpan "tests/examples/Vta1.hs" 39 1 39 1
29            , SrcSpan "tests/examples/Vta1.hs" 40 1 40 1
30            , SrcSpan "tests/examples/Vta1.hs" 42 1 42 1
31            , SrcSpan "tests/examples/Vta1.hs" 44 1 44 1
32            , SrcSpan "tests/examples/Vta1.hs" 45 1 45 1
33            , SrcSpan "tests/examples/Vta1.hs" 46 1 46 1
34            , SrcSpan "tests/examples/Vta1.hs" 48 1 48 1
35            , SrcSpan "tests/examples/Vta1.hs" 49 1 49 1
36            , SrcSpan "tests/examples/Vta1.hs" 51 1 51 1
37            , SrcSpan "tests/examples/Vta1.hs" 52 1 52 1
38            , SrcSpan "tests/examples/Vta1.hs" 53 1 53 1
39            , SrcSpan "tests/examples/Vta1.hs" 55 1 55 1
40            , SrcSpan "tests/examples/Vta1.hs" 56 1 56 1
41            , SrcSpan "tests/examples/Vta1.hs" 58 1 58 1
42            , SrcSpan "tests/examples/Vta1.hs" 59 1 59 1
43            , SrcSpan "tests/examples/Vta1.hs" 61 1 61 1
44            , SrcSpan "tests/examples/Vta1.hs" 62 1 62 1
45            , SrcSpan "tests/examples/Vta1.hs" 63 1 63 1
46            , SrcSpan "tests/examples/Vta1.hs" 65 1 65 1
47            , SrcSpan "tests/examples/Vta1.hs" 66 1 66 1
48            , SrcSpan "tests/examples/Vta1.hs" 68 1 68 1
49            , SrcSpan "tests/examples/Vta1.hs" 69 1 69 1
50            , SrcSpan "tests/examples/Vta1.hs" 71 1 71 1
51            , SrcSpan "tests/examples/Vta1.hs" 72 1 72 1
52            , SrcSpan "tests/examples/Vta1.hs" 74 1 74 1
53            , SrcSpan "tests/examples/Vta1.hs" 75 1 75 1
54            , SrcSpan "tests/examples/Vta1.hs" 77 1 77 1
55            , SrcSpan "tests/examples/Vta1.hs" 78 1 78 1
56            , SrcSpan "tests/examples/Vta1.hs" 80 1 80 1
57            , SrcSpan "tests/examples/Vta1.hs" 81 1 81 1
58            , SrcSpan "tests/examples/Vta1.hs" 83 1 83 1
59            , SrcSpan "tests/examples/Vta1.hs" 85 1 85 1
60            , SrcSpan "tests/examples/Vta1.hs" 87 1 87 1
61            , SrcSpan "tests/examples/Vta1.hs" 89 1 89 1
62            , SrcSpan "tests/examples/Vta1.hs" 91 1 91 1
63            , SrcSpan "tests/examples/Vta1.hs" 92 1 92 1
64            , SrcSpan "tests/examples/Vta1.hs" 94 1 94 1
65            , SrcSpan "tests/examples/Vta1.hs" 95 1 95 1
66            , SrcSpan "tests/examples/Vta1.hs" 96 1 96 1
67            , SrcSpan "tests/examples/Vta1.hs" 96 1 96 1
68            ]
69        }
70      (Just
71         (ModuleHead
72            SrcSpanInfo
73              { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 6 1 6 18
74              , srcInfoPoints =
75                  [ SrcSpan "tests/examples/Vta1.hs" 6 1 6 7
76                  , SrcSpan "tests/examples/Vta1.hs" 6 13 6 18
77                  ]
78              }
79            (ModuleName
80               SrcSpanInfo
81                 { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 6 8 6 12
82                 , srcInfoPoints = []
83                 }
84               "Vta1")
85            Nothing
86            Nothing))
87      [ LanguagePragma
88          SrcSpanInfo
89            { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 1 1 3 34
90            , srcInfoPoints =
91                [ SrcSpan "tests/examples/Vta1.hs" 1 1 1 13
92                , SrcSpan "tests/examples/Vta1.hs" 1 30 1 31
93                , SrcSpan "tests/examples/Vta1.hs" 1 51 1 52
94                , SrcSpan "tests/examples/Vta1.hs" 1 62 1 63
95                , SrcSpan "tests/examples/Vta1.hs" 2 26 2 27
96                , SrcSpan "tests/examples/Vta1.hs" 2 38 2 39
97                , SrcSpan "tests/examples/Vta1.hs" 3 31 3 34
98                ]
99            }
100          [ Ident
101              SrcSpanInfo
102                { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 1 14 1 30
103                , srcInfoPoints = []
104                }
105              "TypeApplications"
106          , Ident
107              SrcSpanInfo
108                { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 1 32 1 51
109                , srcInfoPoints = []
110                }
111              "ScopedTypeVariables"
112          , Ident
113              SrcSpanInfo
114                { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 1 53 1 62
115                , srcInfoPoints = []
116                }
117              "PolyKinds"
118          , Ident
119              SrcSpanInfo
120                { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 2 14 2 26
121                , srcInfoPoints = []
122                }
123              "TypeFamilies"
124          , Ident
125              SrcSpanInfo
126                { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 2 28 2 38
127                , srcInfoPoints = []
128                }
129              "RankNTypes"
130          , Ident
131              SrcSpanInfo
132                { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 3 14 3 30
133                , srcInfoPoints = []
134                }
135              "FlexibleContexts"
136          ]
137      ]
138      []
139      [ TypeSig
140          SrcSpanInfo
141            { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 8 1 8 41
142            , srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 8 6 8 8 ]
143            }
144          [ Ident
145              SrcSpanInfo
146                { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 8 1 8 5
147                , srcInfoPoints = []
148                }
149              "quad"
150          ]
151          (TyFun
152             SrcSpanInfo
153               { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 8 9 8 41
154               , srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 8 11 8 13 ]
155               }
156             (TyVar
157                SrcSpanInfo
158                  { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 8 9 8 10
159                  , srcInfoPoints = []
160                  }
161                (Ident
162                   SrcSpanInfo
163                     { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 8 9 8 10
164                     , srcInfoPoints = []
165                     }
166                   "a"))
167             (TyFun
168                SrcSpanInfo
169                  { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 8 14 8 41
170                  , srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 8 16 8 18 ]
171                  }
172                (TyVar
173                   SrcSpanInfo
174                     { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 8 14 8 15
175                     , srcInfoPoints = []
176                     }
177                   (Ident
178                      SrcSpanInfo
179                        { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 8 14 8 15
180                        , srcInfoPoints = []
181                        }
182                      "b"))
183                (TyFun
184                   SrcSpanInfo
185                     { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 8 19 8 41
186                     , srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 8 21 8 23 ]
187                     }
188                   (TyVar
189                      SrcSpanInfo
190                        { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 8 19 8 20
191                        , srcInfoPoints = []
192                        }
193                      (Ident
194                         SrcSpanInfo
195                           { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 8 19 8 20
196                           , srcInfoPoints = []
197                           }
198                         "c"))
199                   (TyFun
200                      SrcSpanInfo
201                        { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 8 24 8 41
202                        , srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 8 26 8 28 ]
203                        }
204                      (TyVar
205                         SrcSpanInfo
206                           { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 8 24 8 25
207                           , srcInfoPoints = []
208                           }
209                         (Ident
210                            SrcSpanInfo
211                              { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 8 24 8 25
212                              , srcInfoPoints = []
213                              }
214                            "d"))
215                      (TyTuple
216                         SrcSpanInfo
217                           { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 8 29 8 41
218                           , srcInfoPoints =
219                               [ SrcSpan "tests/examples/Vta1.hs" 8 29 8 30
220                               , SrcSpan "tests/examples/Vta1.hs" 8 31 8 32
221                               , SrcSpan "tests/examples/Vta1.hs" 8 34 8 35
222                               , SrcSpan "tests/examples/Vta1.hs" 8 37 8 38
223                               , SrcSpan "tests/examples/Vta1.hs" 8 40 8 41
224                               ]
225                           }
226                         Boxed
227                         [ TyVar
228                             SrcSpanInfo
229                               { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 8 30 8 31
230                               , srcInfoPoints = []
231                               }
232                             (Ident
233                                SrcSpanInfo
234                                  { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 8 30 8 31
235                                  , srcInfoPoints = []
236                                  }
237                                "a")
238                         , TyVar
239                             SrcSpanInfo
240                               { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 8 33 8 34
241                               , srcInfoPoints = []
242                               }
243                             (Ident
244                                SrcSpanInfo
245                                  { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 8 33 8 34
246                                  , srcInfoPoints = []
247                                  }
248                                "b")
249                         , TyVar
250                             SrcSpanInfo
251                               { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 8 36 8 37
252                               , srcInfoPoints = []
253                               }
254                             (Ident
255                                SrcSpanInfo
256                                  { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 8 36 8 37
257                                  , srcInfoPoints = []
258                                  }
259                                "c")
260                         , TyVar
261                             SrcSpanInfo
262                               { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 8 39 8 40
263                               , srcInfoPoints = []
264                               }
265                             (Ident
266                                SrcSpanInfo
267                                  { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 8 39 8 40
268                                  , srcInfoPoints = []
269                                  }
270                                "d")
271                         ])))))
272      , PatBind
273          SrcSpanInfo
274            { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 9 1 9 13
275            , srcInfoPoints = []
276            }
277          (PVar
278             SrcSpanInfo
279               { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 9 1 9 5
280               , srcInfoPoints = []
281               }
282             (Ident
283                SrcSpanInfo
284                  { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 9 1 9 5
285                  , srcInfoPoints = []
286                  }
287                "quad"))
288          (UnGuardedRhs
289             SrcSpanInfo
290               { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 9 6 9 13
291               , srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 9 6 9 7 ]
292               }
293             (Con
294                SrcSpanInfo
295                  { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 9 8 9 13
296                  , srcInfoPoints =
297                      [ SrcSpan "tests/examples/Vta1.hs" 9 8 9 9
298                      , SrcSpan "tests/examples/Vta1.hs" 9 9 9 10
299                      , SrcSpan "tests/examples/Vta1.hs" 9 10 9 11
300                      , SrcSpan "tests/examples/Vta1.hs" 9 11 9 12
301                      , SrcSpan "tests/examples/Vta1.hs" 9 12 9 13
302                      ]
303                  }
304                (Special
305                   SrcSpanInfo
306                     { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 9 8 9 13
307                     , srcInfoPoints =
308                         [ SrcSpan "tests/examples/Vta1.hs" 9 8 9 9
309                         , SrcSpan "tests/examples/Vta1.hs" 9 9 9 10
310                         , SrcSpan "tests/examples/Vta1.hs" 9 10 9 11
311                         , SrcSpan "tests/examples/Vta1.hs" 9 11 9 12
312                         , SrcSpan "tests/examples/Vta1.hs" 9 12 9 13
313                         ]
314                     }
315                   (TupleCon
316                      SrcSpanInfo
317                        { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 9 8 9 13
318                        , srcInfoPoints =
319                            [ SrcSpan "tests/examples/Vta1.hs" 9 8 9 9
320                            , SrcSpan "tests/examples/Vta1.hs" 9 9 9 10
321                            , SrcSpan "tests/examples/Vta1.hs" 9 10 9 11
322                            , SrcSpan "tests/examples/Vta1.hs" 9 11 9 12
323                            , SrcSpan "tests/examples/Vta1.hs" 9 12 9 13
324                            ]
325                        }
326                      Boxed
327                      4))))
328          Nothing
329      , PatBind
330          SrcSpanInfo
331            { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 11 1 11 50
332            , srcInfoPoints = []
333            }
334          (PVar
335             SrcSpanInfo
336               { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 11 1 11 6
337               , srcInfoPoints = []
338               }
339             (Ident
340                SrcSpanInfo
341                  { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 11 1 11 6
342                  , srcInfoPoints = []
343                  }
344                "silly"))
345          (UnGuardedRhs
346             SrcSpanInfo
347               { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 11 7 11 50
348               , srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 11 7 11 8 ]
349               }
350             (App
351                SrcSpanInfo
352                  { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 11 9 11 50
353                  , srcInfoPoints = []
354                  }
355                (App
356                   SrcSpanInfo
357                     { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 11 9 11 42
358                     , srcInfoPoints = []
359                     }
360                   (App
361                      SrcSpanInfo
362                        { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 11 9 11 38
363                        , srcInfoPoints = []
364                        }
365                      (App
366                         SrcSpanInfo
367                           { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 11 9 11 33
368                           , srcInfoPoints = []
369                           }
370                         (App
371                            SrcSpanInfo
372                              { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 11 9 11 31
373                              , srcInfoPoints = []
374                              }
375                            (App
376                               SrcSpanInfo
377                                 { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 11 9 11 28
378                                 , srcInfoPoints = []
379                                 }
380                               (App
381                                  SrcSpanInfo
382                                    { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 11 9 11 22
383                                    , srcInfoPoints = []
384                                    }
385                                  (App
386                                     SrcSpanInfo
387                                       { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 11 9 11 16
388                                       , srcInfoPoints = []
389                                       }
390                                     (Var
391                                        SrcSpanInfo
392                                          { srcInfoSpan =
393                                              SrcSpan "tests/examples/Vta1.hs" 11 9 11 13
394                                          , srcInfoPoints = []
395                                          }
396                                        (UnQual
397                                           SrcSpanInfo
398                                             { srcInfoSpan =
399                                                 SrcSpan "tests/examples/Vta1.hs" 11 9 11 13
400                                             , srcInfoPoints = []
401                                             }
402                                           (Ident
403                                              SrcSpanInfo
404                                                { srcInfoSpan =
405                                                    SrcSpan "tests/examples/Vta1.hs" 11 9 11 13
406                                                , srcInfoPoints = []
407                                                }
408                                              "quad")))
409                                     (TypeApp
410                                        SrcSpanInfo
411                                          { srcInfoSpan =
412                                              SrcSpan "tests/examples/Vta1.hs" 11 14 11 16
413                                          , srcInfoPoints =
414                                              [ SrcSpan "tests/examples/Vta1.hs" 11 14 11 15 ]
415                                          }
416                                        (TyWildCard
417                                           SrcSpanInfo
418                                             { srcInfoSpan =
419                                                 SrcSpan "tests/examples/Vta1.hs" 11 15 11 16
420                                             , srcInfoPoints = []
421                                             }
422                                           Nothing)))
423                                  (TypeApp
424                                     SrcSpanInfo
425                                       { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 11 17 11 22
426                                       , srcInfoPoints =
427                                           [ SrcSpan "tests/examples/Vta1.hs" 11 17 11 18 ]
428                                       }
429                                     (TyCon
430                                        SrcSpanInfo
431                                          { srcInfoSpan =
432                                              SrcSpan "tests/examples/Vta1.hs" 11 18 11 22
433                                          , srcInfoPoints = []
434                                          }
435                                        (UnQual
436                                           SrcSpanInfo
437                                             { srcInfoSpan =
438                                                 SrcSpan "tests/examples/Vta1.hs" 11 18 11 22
439                                             , srcInfoPoints = []
440                                             }
441                                           (Ident
442                                              SrcSpanInfo
443                                                { srcInfoSpan =
444                                                    SrcSpan "tests/examples/Vta1.hs" 11 18 11 22
445                                                , srcInfoPoints = []
446                                                }
447                                              "Bool")))))
448                               (TypeApp
449                                  SrcSpanInfo
450                                    { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 11 23 11 28
451                                    , srcInfoPoints =
452                                        [ SrcSpan "tests/examples/Vta1.hs" 11 23 11 24 ]
453                                    }
454                                  (TyCon
455                                     SrcSpanInfo
456                                       { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 11 24 11 28
457                                       , srcInfoPoints = []
458                                       }
459                                     (UnQual
460                                        SrcSpanInfo
461                                          { srcInfoSpan =
462                                              SrcSpan "tests/examples/Vta1.hs" 11 24 11 28
463                                          , srcInfoPoints = []
464                                          }
465                                        (Ident
466                                           SrcSpanInfo
467                                             { srcInfoSpan =
468                                                 SrcSpan "tests/examples/Vta1.hs" 11 24 11 28
469                                             , srcInfoPoints = []
470                                             }
471                                           "Char")))))
472                            (TypeApp
473                               SrcSpanInfo
474                                 { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 11 29 11 31
475                                 , srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 11 29 11 30 ]
476                                 }
477                               (TyWildCard
478                                  SrcSpanInfo
479                                    { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 11 30 11 31
480                                    , srcInfoPoints = []
481                                    }
482                                  Nothing)))
483                         (Lit
484                            SrcSpanInfo
485                              { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 11 32 11 33
486                              , srcInfoPoints = []
487                              }
488                            (Int
489                               SrcSpanInfo
490                                 { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 11 32 11 33
491                                 , srcInfoPoints = []
492                                 }
493                               5
494                               "5")))
495                      (Con
496                         SrcSpanInfo
497                           { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 11 34 11 38
498                           , srcInfoPoints = []
499                           }
500                         (UnQual
501                            SrcSpanInfo
502                              { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 11 34 11 38
503                              , srcInfoPoints = []
504                              }
505                            (Ident
506                               SrcSpanInfo
507                                 { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 11 34 11 38
508                                 , srcInfoPoints = []
509                                 }
510                               "True"))))
511                   (Lit
512                      SrcSpanInfo
513                        { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 11 39 11 42
514                        , srcInfoPoints = []
515                        }
516                      (Char
517                         SrcSpanInfo
518                           { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 11 39 11 42
519                           , srcInfoPoints = []
520                           }
521                         'a'
522                         "a")))
523                (Lit
524                   SrcSpanInfo
525                     { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 11 43 11 50
526                     , srcInfoPoints = []
527                     }
528                   (String
529                      SrcSpanInfo
530                        { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 11 43 11 50
531                        , srcInfoPoints = []
532                        }
533                      "Hello"
534                      "Hello"))))
535          Nothing
536      , FunBind
537          SrcSpanInfo
538            { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 13 1 13 26
539            , srcInfoPoints = []
540            }
541          [ Match
542              SrcSpanInfo
543                { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 13 1 13 26
544                , srcInfoPoints = []
545                }
546              (Ident
547                 SrcSpanInfo
548                   { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 13 1 13 13
549                   , srcInfoPoints = []
550                   }
551                 "pairup_nosig")
552              [ PVar
553                  SrcSpanInfo
554                    { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 13 14 13 15
555                    , srcInfoPoints = []
556                    }
557                  (Ident
558                     SrcSpanInfo
559                       { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 13 14 13 15
560                       , srcInfoPoints = []
561                       }
562                     "x")
563              , PVar
564                  SrcSpanInfo
565                    { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 13 16 13 17
566                    , srcInfoPoints = []
567                    }
568                  (Ident
569                     SrcSpanInfo
570                       { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 13 16 13 17
571                       , srcInfoPoints = []
572                       }
573                     "y")
574              ]
575              (UnGuardedRhs
576                 SrcSpanInfo
577                   { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 13 18 13 26
578                   , srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 13 18 13 19 ]
579                   }
580                 (Tuple
581                    SrcSpanInfo
582                      { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 13 20 13 26
583                      , srcInfoPoints =
584                          [ SrcSpan "tests/examples/Vta1.hs" 13 20 13 21
585                          , SrcSpan "tests/examples/Vta1.hs" 13 22 13 23
586                          , SrcSpan "tests/examples/Vta1.hs" 13 25 13 26
587                          ]
588                      }
589                    Boxed
590                    [ Var
591                        SrcSpanInfo
592                          { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 13 21 13 22
593                          , srcInfoPoints = []
594                          }
595                        (UnQual
596                           SrcSpanInfo
597                             { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 13 21 13 22
598                             , srcInfoPoints = []
599                             }
600                           (Ident
601                              SrcSpanInfo
602                                { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 13 21 13 22
603                                , srcInfoPoints = []
604                                }
605                              "x"))
606                    , Var
607                        SrcSpanInfo
608                          { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 13 24 13 25
609                          , srcInfoPoints = []
610                          }
611                        (UnQual
612                           SrcSpanInfo
613                             { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 13 24 13 25
614                             , srcInfoPoints = []
615                             }
616                           (Ident
617                              SrcSpanInfo
618                                { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 13 24 13 25
619                                , srcInfoPoints = []
620                                }
621                              "y"))
622                    ]))
623              Nothing
624          ]
625      , TypeSig
626          SrcSpanInfo
627            { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 15 1 15 30
628            , srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 15 12 15 14 ]
629            }
630          [ Ident
631              SrcSpanInfo
632                { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 15 1 15 11
633                , srcInfoPoints = []
634                }
635              "pairup_sig"
636          ]
637          (TyFun
638             SrcSpanInfo
639               { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 15 15 15 30
640               , srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 15 17 15 19 ]
641               }
642             (TyVar
643                SrcSpanInfo
644                  { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 15 15 15 16
645                  , srcInfoPoints = []
646                  }
647                (Ident
648                   SrcSpanInfo
649                     { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 15 15 15 16
650                     , srcInfoPoints = []
651                     }
652                   "a"))
653             (TyFun
654                SrcSpanInfo
655                  { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 15 20 15 30
656                  , srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 15 22 15 24 ]
657                  }
658                (TyVar
659                   SrcSpanInfo
660                     { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 15 20 15 21
661                     , srcInfoPoints = []
662                     }
663                   (Ident
664                      SrcSpanInfo
665                        { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 15 20 15 21
666                        , srcInfoPoints = []
667                        }
668                      "b"))
669                (TyTuple
670                   SrcSpanInfo
671                     { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 15 25 15 30
672                     , srcInfoPoints =
673                         [ SrcSpan "tests/examples/Vta1.hs" 15 25 15 26
674                         , SrcSpan "tests/examples/Vta1.hs" 15 27 15 28
675                         , SrcSpan "tests/examples/Vta1.hs" 15 29 15 30
676                         ]
677                     }
678                   Boxed
679                   [ TyVar
680                       SrcSpanInfo
681                         { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 15 26 15 27
682                         , srcInfoPoints = []
683                         }
684                       (Ident
685                          SrcSpanInfo
686                            { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 15 26 15 27
687                            , srcInfoPoints = []
688                            }
689                          "a")
690                   , TyVar
691                       SrcSpanInfo
692                         { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 15 28 15 29
693                         , srcInfoPoints = []
694                         }
695                       (Ident
696                          SrcSpanInfo
697                            { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 15 28 15 29
698                            , srcInfoPoints = []
699                            }
700                          "b")
701                   ])))
702      , FunBind
703          SrcSpanInfo
704            { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 16 1 16 24
705            , srcInfoPoints = []
706            }
707          [ Match
708              SrcSpanInfo
709                { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 16 1 16 24
710                , srcInfoPoints = []
711                }
712              (Ident
713                 SrcSpanInfo
714                   { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 16 1 16 11
715                   , srcInfoPoints = []
716                   }
717                 "pairup_sig")
718              [ PVar
719                  SrcSpanInfo
720                    { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 16 12 16 13
721                    , srcInfoPoints = []
722                    }
723                  (Ident
724                     SrcSpanInfo
725                       { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 16 12 16 13
726                       , srcInfoPoints = []
727                       }
728                     "u")
729              , PVar
730                  SrcSpanInfo
731                    { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 16 14 16 15
732                    , srcInfoPoints = []
733                    }
734                  (Ident
735                     SrcSpanInfo
736                       { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 16 14 16 15
737                       , srcInfoPoints = []
738                       }
739                     "w")
740              ]
741              (UnGuardedRhs
742                 SrcSpanInfo
743                   { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 16 16 16 24
744                   , srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 16 16 16 17 ]
745                   }
746                 (Tuple
747                    SrcSpanInfo
748                      { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 16 18 16 24
749                      , srcInfoPoints =
750                          [ SrcSpan "tests/examples/Vta1.hs" 16 18 16 19
751                          , SrcSpan "tests/examples/Vta1.hs" 16 20 16 21
752                          , SrcSpan "tests/examples/Vta1.hs" 16 23 16 24
753                          ]
754                      }
755                    Boxed
756                    [ Var
757                        SrcSpanInfo
758                          { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 16 19 16 20
759                          , srcInfoPoints = []
760                          }
761                        (UnQual
762                           SrcSpanInfo
763                             { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 16 19 16 20
764                             , srcInfoPoints = []
765                             }
766                           (Ident
767                              SrcSpanInfo
768                                { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 16 19 16 20
769                                , srcInfoPoints = []
770                                }
771                              "u"))
772                    , Var
773                        SrcSpanInfo
774                          { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 16 22 16 23
775                          , srcInfoPoints = []
776                          }
777                        (UnQual
778                           SrcSpanInfo
779                             { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 16 22 16 23
780                             , srcInfoPoints = []
781                             }
782                           (Ident
783                              SrcSpanInfo
784                                { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 16 22 16 23
785                                , srcInfoPoints = []
786                                }
787                              "w"))
788                    ]))
789              Nothing
790          ]
791      , PatBind
792          SrcSpanInfo
793            { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 18 1 18 43
794            , srcInfoPoints = []
795            }
796          (PVar
797             SrcSpanInfo
798               { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 18 1 18 11
799               , srcInfoPoints = []
800               }
801             (Ident
802                SrcSpanInfo
803                  { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 18 1 18 11
804                  , srcInfoPoints = []
805                  }
806                "answer_sig"))
807          (UnGuardedRhs
808             SrcSpanInfo
809               { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 18 12 18 43
810               , srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 18 12 18 13 ]
811               }
812             (App
813                SrcSpanInfo
814                  { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 18 14 18 43
815                  , srcInfoPoints = []
816                  }
817                (App
818                   SrcSpanInfo
819                     { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 18 14 18 41
820                     , srcInfoPoints = []
821                     }
822                   (App
823                      SrcSpanInfo
824                        { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 18 14 18 35
825                        , srcInfoPoints = []
826                        }
827                      (App
828                         SrcSpanInfo
829                           { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 18 14 18 30
830                           , srcInfoPoints = []
831                           }
832                         (Var
833                            SrcSpanInfo
834                              { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 18 14 18 24
835                              , srcInfoPoints = []
836                              }
837                            (UnQual
838                               SrcSpanInfo
839                                 { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 18 14 18 24
840                                 , srcInfoPoints = []
841                                 }
842                               (Ident
843                                  SrcSpanInfo
844                                    { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 18 14 18 24
845                                    , srcInfoPoints = []
846                                    }
847                                  "pairup_sig")))
848                         (TypeApp
849                            SrcSpanInfo
850                              { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 18 25 18 30
851                              , srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 18 25 18 26 ]
852                              }
853                            (TyCon
854                               SrcSpanInfo
855                                 { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 18 26 18 30
856                                 , srcInfoPoints = []
857                                 }
858                               (UnQual
859                                  SrcSpanInfo
860                                    { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 18 26 18 30
861                                    , srcInfoPoints = []
862                                    }
863                                  (Ident
864                                     SrcSpanInfo
865                                       { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 18 26 18 30
866                                       , srcInfoPoints = []
867                                       }
868                                     "Bool")))))
869                      (TypeApp
870                         SrcSpanInfo
871                           { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 18 31 18 35
872                           , srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 18 31 18 32 ]
873                           }
874                         (TyCon
875                            SrcSpanInfo
876                              { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 18 32 18 35
877                              , srcInfoPoints = []
878                              }
879                            (UnQual
880                               SrcSpanInfo
881                                 { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 18 32 18 35
882                                 , srcInfoPoints = []
883                                 }
884                               (Ident
885                                  SrcSpanInfo
886                                    { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 18 32 18 35
887                                    , srcInfoPoints = []
888                                    }
889                                  "Int")))))
890                   (Con
891                      SrcSpanInfo
892                        { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 18 36 18 41
893                        , srcInfoPoints = []
894                        }
895                      (UnQual
896                         SrcSpanInfo
897                           { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 18 36 18 41
898                           , srcInfoPoints = []
899                           }
900                         (Ident
901                            SrcSpanInfo
902                              { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 18 36 18 41
903                              , srcInfoPoints = []
904                              }
905                            "False"))))
906                (Lit
907                   SrcSpanInfo
908                     { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 18 42 18 43
909                     , srcInfoPoints = []
910                     }
911                   (Int
912                      SrcSpanInfo
913                        { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 18 42 18 43
914                        , srcInfoPoints = []
915                        }
916                      7
917                      "7"))))
918          Nothing
919      , PatBind
920          SrcSpanInfo
921            { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 21 1 21 35
922            , srcInfoPoints = []
923            }
924          (PVar
925             SrcSpanInfo
926               { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 21 1 21 12
927               , srcInfoPoints = []
928               }
929             (Ident
930                SrcSpanInfo
931                  { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 21 1 21 12
932                  , srcInfoPoints = []
933                  }
934                "answer_read"))
935          (UnGuardedRhs
936             SrcSpanInfo
937               { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 21 13 21 35
938               , srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 21 13 21 14 ]
939               }
940             (App
941                SrcSpanInfo
942                  { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 21 15 21 35
943                  , srcInfoPoints = []
944                  }
945                (Var
946                   SrcSpanInfo
947                     { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 21 15 21 19
948                     , srcInfoPoints = []
949                     }
950                   (UnQual
951                      SrcSpanInfo
952                        { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 21 15 21 19
953                        , srcInfoPoints = []
954                        }
955                      (Ident
956                         SrcSpanInfo
957                           { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 21 15 21 19
958                           , srcInfoPoints = []
959                           }
960                         "show")))
961                (Paren
962                   SrcSpanInfo
963                     { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 21 20 21 35
964                     , srcInfoPoints =
965                         [ SrcSpan "tests/examples/Vta1.hs" 21 20 21 21
966                         , SrcSpan "tests/examples/Vta1.hs" 21 34 21 35
967                         ]
968                     }
969                   (App
970                      SrcSpanInfo
971                        { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 21 21 21 34
972                        , srcInfoPoints = []
973                        }
974                      (App
975                         SrcSpanInfo
976                           { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 21 21 21 30
977                           , srcInfoPoints = []
978                           }
979                         (Var
980                            SrcSpanInfo
981                              { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 21 21 21 25
982                              , srcInfoPoints = []
983                              }
984                            (UnQual
985                               SrcSpanInfo
986                                 { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 21 21 21 25
987                                 , srcInfoPoints = []
988                                 }
989                               (Ident
990                                  SrcSpanInfo
991                                    { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 21 21 21 25
992                                    , srcInfoPoints = []
993                                    }
994                                  "read")))
995                         (TypeApp
996                            SrcSpanInfo
997                              { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 21 26 21 30
998                              , srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 21 26 21 27 ]
999                              }
1000                            (TyCon
1001                               SrcSpanInfo
1002                                 { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 21 27 21 30
1003                                 , srcInfoPoints = []
1004                                 }
1005                               (UnQual
1006                                  SrcSpanInfo
1007                                    { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 21 27 21 30
1008                                    , srcInfoPoints = []
1009                                    }
1010                                  (Ident
1011                                     SrcSpanInfo
1012                                       { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 21 27 21 30
1013                                       , srcInfoPoints = []
1014                                       }
1015                                     "Int")))))
1016                      (Lit
1017                         SrcSpanInfo
1018                           { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 21 31 21 34
1019                           , srcInfoPoints = []
1020                           }
1021                         (String
1022                            SrcSpanInfo
1023                              { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 21 31 21 34
1024                              , srcInfoPoints = []
1025                              }
1026                            "3"
1027                            "3"))))))
1028          Nothing
1029      , PatBind
1030          SrcSpanInfo
1031            { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 22 1 22 39
1032            , srcInfoPoints = []
1033            }
1034          (PVar
1035             SrcSpanInfo
1036               { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 22 1 22 12
1037               , srcInfoPoints = []
1038               }
1039             (Ident
1040                SrcSpanInfo
1041                  { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 22 1 22 12
1042                  , srcInfoPoints = []
1043                  }
1044                "answer_show"))
1045          (UnGuardedRhs
1046             SrcSpanInfo
1047               { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 22 13 22 39
1048               , srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 22 13 22 14 ]
1049               }
1050             (App
1051                SrcSpanInfo
1052                  { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 22 15 22 39
1053                  , srcInfoPoints = []
1054                  }
1055                (App
1056                   SrcSpanInfo
1057                     { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 22 15 22 28
1058                     , srcInfoPoints = []
1059                     }
1060                   (Var
1061                      SrcSpanInfo
1062                        { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 22 15 22 19
1063                        , srcInfoPoints = []
1064                        }
1065                      (UnQual
1066                         SrcSpanInfo
1067                           { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 22 15 22 19
1068                           , srcInfoPoints = []
1069                           }
1070                         (Ident
1071                            SrcSpanInfo
1072                              { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 22 15 22 19
1073                              , srcInfoPoints = []
1074                              }
1075                            "show")))
1076                   (TypeApp
1077                      SrcSpanInfo
1078                        { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 22 20 22 28
1079                        , srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 22 20 22 21 ]
1080                        }
1081                      (TyCon
1082                         SrcSpanInfo
1083                           { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 22 21 22 28
1084                           , srcInfoPoints = []
1085                           }
1086                         (UnQual
1087                            SrcSpanInfo
1088                              { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 22 21 22 28
1089                              , srcInfoPoints = []
1090                              }
1091                            (Ident
1092                               SrcSpanInfo
1093                                 { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 22 21 22 28
1094                                 , srcInfoPoints = []
1095                                 }
1096                               "Integer")))))
1097                (Paren
1098                   SrcSpanInfo
1099                     { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 22 29 22 39
1100                     , srcInfoPoints =
1101                         [ SrcSpan "tests/examples/Vta1.hs" 22 29 22 30
1102                         , SrcSpan "tests/examples/Vta1.hs" 22 38 22 39
1103                         ]
1104                     }
1105                   (App
1106                      SrcSpanInfo
1107                        { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 22 30 22 38
1108                        , srcInfoPoints = []
1109                        }
1110                      (Var
1111                         SrcSpanInfo
1112                           { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 22 30 22 34
1113                           , srcInfoPoints = []
1114                           }
1115                         (UnQual
1116                            SrcSpanInfo
1117                              { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 22 30 22 34
1118                              , srcInfoPoints = []
1119                              }
1120                            (Ident
1121                               SrcSpanInfo
1122                                 { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 22 30 22 34
1123                                 , srcInfoPoints = []
1124                                 }
1125                               "read")))
1126                      (Lit
1127                         SrcSpanInfo
1128                           { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 22 35 22 38
1129                           , srcInfoPoints = []
1130                           }
1131                         (String
1132                            SrcSpanInfo
1133                              { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 22 35 22 38
1134                              , srcInfoPoints = []
1135                              }
1136                            "5"
1137                            "5"))))))
1138          Nothing
1139      , PatBind
1140          SrcSpanInfo
1141            { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 23 1 23 44
1142            , srcInfoPoints = []
1143            }
1144          (PVar
1145             SrcSpanInfo
1146               { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 23 1 23 16
1147               , srcInfoPoints = []
1148               }
1149             (Ident
1150                SrcSpanInfo
1151                  { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 23 1 23 16
1152                  , srcInfoPoints = []
1153                  }
1154                "answer_showread"))
1155          (UnGuardedRhs
1156             SrcSpanInfo
1157               { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 23 17 23 44
1158               , srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 23 17 23 18 ]
1159               }
1160             (App
1161                SrcSpanInfo
1162                  { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 23 19 23 44
1163                  , srcInfoPoints = []
1164                  }
1165                (App
1166                   SrcSpanInfo
1167                     { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 23 19 23 28
1168                     , srcInfoPoints = []
1169                     }
1170                   (Var
1171                      SrcSpanInfo
1172                        { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 23 19 23 23
1173                        , srcInfoPoints = []
1174                        }
1175                      (UnQual
1176                         SrcSpanInfo
1177                           { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 23 19 23 23
1178                           , srcInfoPoints = []
1179                           }
1180                         (Ident
1181                            SrcSpanInfo
1182                              { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 23 19 23 23
1183                              , srcInfoPoints = []
1184                              }
1185                            "show")))
1186                   (TypeApp
1187                      SrcSpanInfo
1188                        { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 23 24 23 28
1189                        , srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 23 24 23 25 ]
1190                        }
1191                      (TyCon
1192                         SrcSpanInfo
1193                           { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 23 25 23 28
1194                           , srcInfoPoints = []
1195                           }
1196                         (UnQual
1197                            SrcSpanInfo
1198                              { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 23 25 23 28
1199                              , srcInfoPoints = []
1200                              }
1201                            (Ident
1202                               SrcSpanInfo
1203                                 { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 23 25 23 28
1204                                 , srcInfoPoints = []
1205                                 }
1206                               "Int")))))
1207                (Paren
1208                   SrcSpanInfo
1209                     { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 23 29 23 44
1210                     , srcInfoPoints =
1211                         [ SrcSpan "tests/examples/Vta1.hs" 23 29 23 30
1212                         , SrcSpan "tests/examples/Vta1.hs" 23 43 23 44
1213                         ]
1214                     }
1215                   (App
1216                      SrcSpanInfo
1217                        { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 23 30 23 43
1218                        , srcInfoPoints = []
1219                        }
1220                      (App
1221                         SrcSpanInfo
1222                           { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 23 30 23 39
1223                           , srcInfoPoints = []
1224                           }
1225                         (Var
1226                            SrcSpanInfo
1227                              { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 23 30 23 34
1228                              , srcInfoPoints = []
1229                              }
1230                            (UnQual
1231                               SrcSpanInfo
1232                                 { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 23 30 23 34
1233                                 , srcInfoPoints = []
1234                                 }
1235                               (Ident
1236                                  SrcSpanInfo
1237                                    { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 23 30 23 34
1238                                    , srcInfoPoints = []
1239                                    }
1240                                  "read")))
1241                         (TypeApp
1242                            SrcSpanInfo
1243                              { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 23 35 23 39
1244                              , srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 23 35 23 36 ]
1245                              }
1246                            (TyCon
1247                               SrcSpanInfo
1248                                 { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 23 36 23 39
1249                                 , srcInfoPoints = []
1250                                 }
1251                               (UnQual
1252                                  SrcSpanInfo
1253                                    { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 23 36 23 39
1254                                    , srcInfoPoints = []
1255                                    }
1256                                  (Ident
1257                                     SrcSpanInfo
1258                                       { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 23 36 23 39
1259                                       , srcInfoPoints = []
1260                                       }
1261                                     "Int")))))
1262                      (Lit
1263                         SrcSpanInfo
1264                           { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 23 40 23 43
1265                           , srcInfoPoints = []
1266                           }
1267                         (String
1268                            SrcSpanInfo
1269                              { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 23 40 23 43
1270                              , srcInfoPoints = []
1271                              }
1272                            "7"
1273                            "7"))))))
1274          Nothing
1275      , FunBind
1276          SrcSpanInfo
1277            { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 25 1 25 23
1278            , srcInfoPoints = []
1279            }
1280          [ Match
1281              SrcSpanInfo
1282                { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 25 1 25 23
1283                , srcInfoPoints = []
1284                }
1285              (Ident
1286                 SrcSpanInfo
1287                   { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 25 1 25 8
1288                   , srcInfoPoints = []
1289                   }
1290                 "intcons")
1291              [ PVar
1292                  SrcSpanInfo
1293                    { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 25 9 25 10
1294                    , srcInfoPoints = []
1295                    }
1296                  (Ident
1297                     SrcSpanInfo
1298                       { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 25 9 25 10
1299                       , srcInfoPoints = []
1300                       }
1301                     "a")
1302              ]
1303              (UnGuardedRhs
1304                 SrcSpanInfo
1305                   { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 25 11 25 23
1306                   , srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 25 11 25 12 ]
1307                   }
1308                 (App
1309                    SrcSpanInfo
1310                      { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 25 13 25 23
1311                      , srcInfoPoints = []
1312                      }
1313                    (App
1314                       SrcSpanInfo
1315                         { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 25 13 25 21
1316                         , srcInfoPoints = []
1317                         }
1318                       (Con
1319                          SrcSpanInfo
1320                            { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 25 13 25 16
1321                            , srcInfoPoints =
1322                                [ SrcSpan "tests/examples/Vta1.hs" 25 13 25 14
1323                                , SrcSpan "tests/examples/Vta1.hs" 25 14 25 15
1324                                , SrcSpan "tests/examples/Vta1.hs" 25 15 25 16
1325                                ]
1326                            }
1327                          (Special
1328                             SrcSpanInfo
1329                               { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 25 13 25 16
1330                               , srcInfoPoints =
1331                                   [ SrcSpan "tests/examples/Vta1.hs" 25 13 25 14
1332                                   , SrcSpan "tests/examples/Vta1.hs" 25 14 25 15
1333                                   , SrcSpan "tests/examples/Vta1.hs" 25 15 25 16
1334                                   ]
1335                               }
1336                             (Cons
1337                                SrcSpanInfo
1338                                  { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 25 14 25 15
1339                                  , srcInfoPoints = []
1340                                  })))
1341                       (TypeApp
1342                          SrcSpanInfo
1343                            { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 25 17 25 21
1344                            , srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 25 17 25 18 ]
1345                            }
1346                          (TyCon
1347                             SrcSpanInfo
1348                               { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 25 18 25 21
1349                               , srcInfoPoints = []
1350                               }
1351                             (UnQual
1352                                SrcSpanInfo
1353                                  { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 25 18 25 21
1354                                  , srcInfoPoints = []
1355                                  }
1356                                (Ident
1357                                   SrcSpanInfo
1358                                     { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 25 18 25 21
1359                                     , srcInfoPoints = []
1360                                     }
1361                                   "Int")))))
1362                    (Var
1363                       SrcSpanInfo
1364                         { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 25 22 25 23
1365                         , srcInfoPoints = []
1366                         }
1367                       (UnQual
1368                          SrcSpanInfo
1369                            { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 25 22 25 23
1370                            , srcInfoPoints = []
1371                            }
1372                          (Ident
1373                             SrcSpanInfo
1374                               { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 25 22 25 23
1375                               , srcInfoPoints = []
1376                               }
1377                             "a")))))
1378              Nothing
1379          ]
1380      , FunBind
1381          SrcSpanInfo
1382            { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 27 1 27 34
1383            , srcInfoPoints = []
1384            }
1385          [ Match
1386              SrcSpanInfo
1387                { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 27 1 27 34
1388                , srcInfoPoints = []
1389                }
1390              (Ident
1391                 SrcSpanInfo
1392                   { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 27 1 27 8
1393                   , srcInfoPoints = []
1394                   }
1395                 "intpair")
1396              [ PVar
1397                  SrcSpanInfo
1398                    { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 27 9 27 10
1399                    , srcInfoPoints = []
1400                    }
1401                  (Ident
1402                     SrcSpanInfo
1403                       { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 27 9 27 10
1404                       , srcInfoPoints = []
1405                       }
1406                     "x")
1407              , PVar
1408                  SrcSpanInfo
1409                    { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 27 11 27 12
1410                    , srcInfoPoints = []
1411                    }
1412                  (Ident
1413                     SrcSpanInfo
1414                       { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 27 11 27 12
1415                       , srcInfoPoints = []
1416                       }
1417                     "y")
1418              ]
1419              (UnGuardedRhs
1420                 SrcSpanInfo
1421                   { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 27 13 27 34
1422                   , srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 27 13 27 14 ]
1423                   }
1424                 (App
1425                    SrcSpanInfo
1426                      { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 27 15 27 34
1427                      , srcInfoPoints = []
1428                      }
1429                    (App
1430                       SrcSpanInfo
1431                         { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 27 15 27 32
1432                         , srcInfoPoints = []
1433                         }
1434                       (App
1435                          SrcSpanInfo
1436                            { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 27 15 27 30
1437                            , srcInfoPoints = []
1438                            }
1439                          (Var
1440                             SrcSpanInfo
1441                               { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 27 15 27 25
1442                               , srcInfoPoints = []
1443                               }
1444                             (UnQual
1445                                SrcSpanInfo
1446                                  { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 27 15 27 25
1447                                  , srcInfoPoints = []
1448                                  }
1449                                (Ident
1450                                   SrcSpanInfo
1451                                     { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 27 15 27 25
1452                                     , srcInfoPoints = []
1453                                     }
1454                                   "pairup_sig")))
1455                          (TypeApp
1456                             SrcSpanInfo
1457                               { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 27 26 27 30
1458                               , srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 27 26 27 27 ]
1459                               }
1460                             (TyCon
1461                                SrcSpanInfo
1462                                  { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 27 27 27 30
1463                                  , srcInfoPoints = []
1464                                  }
1465                                (UnQual
1466                                   SrcSpanInfo
1467                                     { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 27 27 27 30
1468                                     , srcInfoPoints = []
1469                                     }
1470                                   (Ident
1471                                      SrcSpanInfo
1472                                        { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 27 27 27 30
1473                                        , srcInfoPoints = []
1474                                        }
1475                                      "Int")))))
1476                       (Var
1477                          SrcSpanInfo
1478                            { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 27 31 27 32
1479                            , srcInfoPoints = []
1480                            }
1481                          (UnQual
1482                             SrcSpanInfo
1483                               { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 27 31 27 32
1484                               , srcInfoPoints = []
1485                               }
1486                             (Ident
1487                                SrcSpanInfo
1488                                  { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 27 31 27 32
1489                                  , srcInfoPoints = []
1490                                  }
1491                                "x"))))
1492                    (Var
1493                       SrcSpanInfo
1494                         { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 27 33 27 34
1495                         , srcInfoPoints = []
1496                         }
1497                       (UnQual
1498                          SrcSpanInfo
1499                            { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 27 33 27 34
1500                            , srcInfoPoints = []
1501                            }
1502                          (Ident
1503                             SrcSpanInfo
1504                               { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 27 33 27 34
1505                               , srcInfoPoints = []
1506                               }
1507                             "y")))))
1508              Nothing
1509          ]
1510      , PatBind
1511          SrcSpanInfo
1512            { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 29 1 29 39
1513            , srcInfoPoints = []
1514            }
1515          (PVar
1516             SrcSpanInfo
1517               { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 29 1 29 14
1518               , srcInfoPoints = []
1519               }
1520             (Ident
1521                SrcSpanInfo
1522                  { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 29 1 29 14
1523                  , srcInfoPoints = []
1524                  }
1525                "answer_pairup"))
1526          (UnGuardedRhs
1527             SrcSpanInfo
1528               { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 29 15 29 39
1529               , srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 29 15 29 16 ]
1530               }
1531             (App
1532                SrcSpanInfo
1533                  { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 29 17 29 39
1534                  , srcInfoPoints = []
1535                  }
1536                (App
1537                   SrcSpanInfo
1538                     { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 29 17 29 34
1539                     , srcInfoPoints = []
1540                     }
1541                   (App
1542                      SrcSpanInfo
1543                        { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 29 17 29 32
1544                        , srcInfoPoints = []
1545                        }
1546                      (Var
1547                         SrcSpanInfo
1548                           { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 29 17 29 27
1549                           , srcInfoPoints = []
1550                           }
1551                         (UnQual
1552                            SrcSpanInfo
1553                              { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 29 17 29 27
1554                              , srcInfoPoints = []
1555                              }
1556                            (Ident
1557                               SrcSpanInfo
1558                                 { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 29 17 29 27
1559                                 , srcInfoPoints = []
1560                                 }
1561                               "pairup_sig")))
1562                      (TypeApp
1563                         SrcSpanInfo
1564                           { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 29 28 29 32
1565                           , srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 29 28 29 29 ]
1566                           }
1567                         (TyCon
1568                            SrcSpanInfo
1569                              { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 29 29 29 32
1570                              , srcInfoPoints = []
1571                              }
1572                            (UnQual
1573                               SrcSpanInfo
1574                                 { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 29 29 29 32
1575                                 , srcInfoPoints = []
1576                                 }
1577                               (Ident
1578                                  SrcSpanInfo
1579                                    { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 29 29 29 32
1580                                    , srcInfoPoints = []
1581                                    }
1582                                  "Int")))))
1583                   (Lit
1584                      SrcSpanInfo
1585                        { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 29 33 29 34
1586                        , srcInfoPoints = []
1587                        }
1588                      (Int
1589                         SrcSpanInfo
1590                           { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 29 33 29 34
1591                           , srcInfoPoints = []
1592                           }
1593                         5
1594                         "5")))
1595                (Con
1596                   SrcSpanInfo
1597                     { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 29 35 29 39
1598                     , srcInfoPoints = []
1599                     }
1600                   (UnQual
1601                      SrcSpanInfo
1602                        { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 29 35 29 39
1603                        , srcInfoPoints = []
1604                        }
1605                      (Ident
1606                         SrcSpanInfo
1607                           { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 29 35 29 39
1608                           , srcInfoPoints = []
1609                           }
1610                         "True")))))
1611          Nothing
1612      , PatBind
1613          SrcSpanInfo
1614            { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 30 1 30 35
1615            , srcInfoPoints = []
1616            }
1617          (PVar
1618             SrcSpanInfo
1619               { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 30 1 30 15
1620               , srcInfoPoints = []
1621               }
1622             (Ident
1623                SrcSpanInfo
1624                  { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 30 1 30 15
1625                  , srcInfoPoints = []
1626                  }
1627                "answer_intpair"))
1628          (UnGuardedRhs
1629             SrcSpanInfo
1630               { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 30 16 30 35
1631               , srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 30 16 30 17 ]
1632               }
1633             (App
1634                SrcSpanInfo
1635                  { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 30 18 30 35
1636                  , srcInfoPoints = []
1637                  }
1638                (App
1639                   SrcSpanInfo
1640                     { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 30 18 30 27
1641                     , srcInfoPoints = []
1642                     }
1643                   (Var
1644                      SrcSpanInfo
1645                        { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 30 18 30 25
1646                        , srcInfoPoints = []
1647                        }
1648                      (UnQual
1649                         SrcSpanInfo
1650                           { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 30 18 30 25
1651                           , srcInfoPoints = []
1652                           }
1653                         (Ident
1654                            SrcSpanInfo
1655                              { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 30 18 30 25
1656                              , srcInfoPoints = []
1657                              }
1658                            "intpair")))
1659                   (Lit
1660                      SrcSpanInfo
1661                        { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 30 26 30 27
1662                        , srcInfoPoints = []
1663                        }
1664                      (Int
1665                         SrcSpanInfo
1666                           { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 30 26 30 27
1667                           , srcInfoPoints = []
1668                           }
1669                         1
1670                         "1")))
1671                (Lit
1672                   SrcSpanInfo
1673                     { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 30 28 30 35
1674                     , srcInfoPoints = []
1675                     }
1676                   (String
1677                      SrcSpanInfo
1678                        { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 30 28 30 35
1679                        , srcInfoPoints = []
1680                        }
1681                      "hello"
1682                      "hello"))))
1683          Nothing
1684      , PatBind
1685          SrcSpanInfo
1686            { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 31 1 31 30
1687            , srcInfoPoints = []
1688            }
1689          (PVar
1690             SrcSpanInfo
1691               { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 31 1 31 15
1692               , srcInfoPoints = []
1693               }
1694             (Ident
1695                SrcSpanInfo
1696                  { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 31 1 31 15
1697                  , srcInfoPoints = []
1698                  }
1699                "answer_intcons"))
1700          (UnGuardedRhs
1701             SrcSpanInfo
1702               { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 31 16 31 30
1703               , srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 31 16 31 17 ]
1704               }
1705             (App
1706                SrcSpanInfo
1707                  { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 31 18 31 30
1708                  , srcInfoPoints = []
1709                  }
1710                (App
1711                   SrcSpanInfo
1712                     { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 31 18 31 27
1713                     , srcInfoPoints = []
1714                     }
1715                   (Var
1716                      SrcSpanInfo
1717                        { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 31 18 31 25
1718                        , srcInfoPoints = []
1719                        }
1720                      (UnQual
1721                         SrcSpanInfo
1722                           { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 31 18 31 25
1723                           , srcInfoPoints = []
1724                           }
1725                         (Ident
1726                            SrcSpanInfo
1727                              { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 31 18 31 25
1728                              , srcInfoPoints = []
1729                              }
1730                            "intcons")))
1731                   (Lit
1732                      SrcSpanInfo
1733                        { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 31 26 31 27
1734                        , srcInfoPoints = []
1735                        }
1736                      (Int
1737                         SrcSpanInfo
1738                           { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 31 26 31 27
1739                           , srcInfoPoints = []
1740                           }
1741                         7
1742                         "7")))
1743                (List
1744                   SrcSpanInfo
1745                     { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 31 28 31 30
1746                     , srcInfoPoints =
1747                         [ SrcSpan "tests/examples/Vta1.hs" 31 28 31 29
1748                         , SrcSpan "tests/examples/Vta1.hs" 31 29 31 30
1749                         ]
1750                     }
1751                   [])))
1752          Nothing
1753      , TypeFamDecl
1754          SrcSpanInfo
1755            { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 33 1 33 16
1756            , srcInfoPoints =
1757                [ SrcSpan "tests/examples/Vta1.hs" 33 1 33 5
1758                , SrcSpan "tests/examples/Vta1.hs" 33 6 33 12
1759                ]
1760            }
1761          (DHApp
1762             SrcSpanInfo
1763               { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 33 13 33 16
1764               , srcInfoPoints = []
1765               }
1766             (DHead
1767                SrcSpanInfo
1768                  { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 33 13 33 14
1769                  , srcInfoPoints = []
1770                  }
1771                (Ident
1772                   SrcSpanInfo
1773                     { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 33 13 33 14
1774                     , srcInfoPoints = []
1775                     }
1776                   "F"))
1777             (UnkindedVar
1778                SrcSpanInfo
1779                  { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 33 15 33 16
1780                  , srcInfoPoints = []
1781                  }
1782                (Ident
1783                   SrcSpanInfo
1784                     { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 33 15 33 16
1785                     , srcInfoPoints = []
1786                     }
1787                   "a")))
1788          Nothing
1789          Nothing
1790      , TypeInsDecl
1791          SrcSpanInfo
1792            { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 34 1 34 28
1793            , srcInfoPoints =
1794                [ SrcSpan "tests/examples/Vta1.hs" 34 1 34 5
1795                , SrcSpan "tests/examples/Vta1.hs" 34 6 34 14
1796                , SrcSpan "tests/examples/Vta1.hs" 34 22 34 23
1797                ]
1798            }
1799          (TyApp
1800             SrcSpanInfo
1801               { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 34 15 34 21
1802               , srcInfoPoints = []
1803               }
1804             (TyCon
1805                SrcSpanInfo
1806                  { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 34 15 34 16
1807                  , srcInfoPoints = []
1808                  }
1809                (UnQual
1810                   SrcSpanInfo
1811                     { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 34 15 34 16
1812                     , srcInfoPoints = []
1813                     }
1814                   (Ident
1815                      SrcSpanInfo
1816                        { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 34 15 34 16
1817                        , srcInfoPoints = []
1818                        }
1819                      "F")))
1820             (TyCon
1821                SrcSpanInfo
1822                  { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 34 17 34 21
1823                  , srcInfoPoints = []
1824                  }
1825                (UnQual
1826                   SrcSpanInfo
1827                     { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 34 17 34 21
1828                     , srcInfoPoints = []
1829                     }
1830                   (Ident
1831                      SrcSpanInfo
1832                        { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 34 17 34 21
1833                        , srcInfoPoints = []
1834                        }
1835                      "Char"))))
1836          (TyCon
1837             SrcSpanInfo
1838               { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 34 24 34 28
1839               , srcInfoPoints = []
1840               }
1841             (UnQual
1842                SrcSpanInfo
1843                  { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 34 24 34 28
1844                  , srcInfoPoints = []
1845                  }
1846                (Ident
1847                   SrcSpanInfo
1848                     { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 34 24 34 28
1849                     , srcInfoPoints = []
1850                     }
1851                   "Bool")))
1852      , TypeSig
1853          SrcSpanInfo
1854            { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 36 1 36 14
1855            , srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 36 3 36 5 ]
1856            }
1857          [ Ident
1858              SrcSpanInfo
1859                { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 36 1 36 2
1860                , srcInfoPoints = []
1861                }
1862              "g"
1863          ]
1864          (TyFun
1865             SrcSpanInfo
1866               { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 36 6 36 14
1867               , srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 36 10 36 12 ]
1868               }
1869             (TyApp
1870                SrcSpanInfo
1871                  { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 36 6 36 9
1872                  , srcInfoPoints = []
1873                  }
1874                (TyCon
1875                   SrcSpanInfo
1876                     { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 36 6 36 7
1877                     , srcInfoPoints = []
1878                     }
1879                   (UnQual
1880                      SrcSpanInfo
1881                        { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 36 6 36 7
1882                        , srcInfoPoints = []
1883                        }
1884                      (Ident
1885                         SrcSpanInfo
1886                           { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 36 6 36 7
1887                           , srcInfoPoints = []
1888                           }
1889                         "F")))
1890                (TyVar
1891                   SrcSpanInfo
1892                     { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 36 8 36 9
1893                     , srcInfoPoints = []
1894                     }
1895                   (Ident
1896                      SrcSpanInfo
1897                        { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 36 8 36 9
1898                        , srcInfoPoints = []
1899                        }
1900                      "a")))
1901             (TyVar
1902                SrcSpanInfo
1903                  { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 36 13 36 14
1904                  , srcInfoPoints = []
1905                  }
1906                (Ident
1907                   SrcSpanInfo
1908                     { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 36 13 36 14
1909                     , srcInfoPoints = []
1910                     }
1911                   "a")))
1912      , FunBind
1913          SrcSpanInfo
1914            { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 37 1 37 16
1915            , srcInfoPoints = []
1916            }
1917          [ Match
1918              SrcSpanInfo
1919                { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 37 1 37 16
1920                , srcInfoPoints = []
1921                }
1922              (Ident
1923                 SrcSpanInfo
1924                   { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 37 1 37 2
1925                   , srcInfoPoints = []
1926                   }
1927                 "g")
1928              [ PWildCard
1929                  SrcSpanInfo
1930                    { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 37 3 37 4
1931                    , srcInfoPoints = []
1932                    }
1933              ]
1934              (UnGuardedRhs
1935                 SrcSpanInfo
1936                   { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 37 5 37 16
1937                   , srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 37 5 37 6 ]
1938                   }
1939                 (Var
1940                    SrcSpanInfo
1941                      { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 37 7 37 16
1942                      , srcInfoPoints = []
1943                      }
1944                    (UnQual
1945                       SrcSpanInfo
1946                         { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 37 7 37 16
1947                         , srcInfoPoints = []
1948                         }
1949                       (Ident
1950                          SrcSpanInfo
1951                            { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 37 7 37 16
1952                            , srcInfoPoints = []
1953                            }
1954                          "undefined"))))
1955              Nothing
1956          ]
1957      , TypeSig
1958          SrcSpanInfo
1959            { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 39 1 39 10
1960            , srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 39 3 39 5 ]
1961            }
1962          [ Ident
1963              SrcSpanInfo
1964                { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 39 1 39 2
1965                , srcInfoPoints = []
1966                }
1967              "f"
1968          ]
1969          (TyCon
1970             SrcSpanInfo
1971               { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 39 6 39 10
1972               , srcInfoPoints = []
1973               }
1974             (UnQual
1975                SrcSpanInfo
1976                  { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 39 6 39 10
1977                  , srcInfoPoints = []
1978                  }
1979                (Ident
1980                   SrcSpanInfo
1981                     { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 39 6 39 10
1982                     , srcInfoPoints = []
1983                     }
1984                   "Char")))
1985      , PatBind
1986          SrcSpanInfo
1987            { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 40 1 40 11
1988            , srcInfoPoints = []
1989            }
1990          (PVar
1991             SrcSpanInfo
1992               { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 40 1 40 2
1993               , srcInfoPoints = []
1994               }
1995             (Ident
1996                SrcSpanInfo
1997                  { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 40 1 40 2
1998                  , srcInfoPoints = []
1999                  }
2000                "f"))
2001          (UnGuardedRhs
2002             SrcSpanInfo
2003               { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 40 3 40 11
2004               , srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 40 3 40 4 ]
2005               }
2006             (App
2007                SrcSpanInfo
2008                  { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 40 5 40 11
2009                  , srcInfoPoints = []
2010                  }
2011                (Var
2012                   SrcSpanInfo
2013                     { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 40 5 40 6
2014                     , srcInfoPoints = []
2015                     }
2016                   (UnQual
2017                      SrcSpanInfo
2018                        { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 40 5 40 6
2019                        , srcInfoPoints = []
2020                        }
2021                      (Ident
2022                         SrcSpanInfo
2023                           { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 40 5 40 6
2024                           , srcInfoPoints = []
2025                           }
2026                         "g")))
2027                (Con
2028                   SrcSpanInfo
2029                     { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 40 7 40 11
2030                     , srcInfoPoints = []
2031                     }
2032                   (UnQual
2033                      SrcSpanInfo
2034                        { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 40 7 40 11
2035                        , srcInfoPoints = []
2036                        }
2037                      (Ident
2038                         SrcSpanInfo
2039                           { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 40 7 40 11
2040                           , srcInfoPoints = []
2041                           }
2042                         "True")))))
2043          Nothing
2044      , PatBind
2045          SrcSpanInfo
2046            { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 42 1 42 23
2047            , srcInfoPoints = []
2048            }
2049          (PVar
2050             SrcSpanInfo
2051               { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 42 1 42 7
2052               , srcInfoPoints = []
2053               }
2054             (Ident
2055                SrcSpanInfo
2056                  { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 42 1 42 7
2057                  , srcInfoPoints = []
2058                  }
2059                "answer"))
2060          (UnGuardedRhs
2061             SrcSpanInfo
2062               { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 42 8 42 23
2063               , srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 42 8 42 9 ]
2064               }
2065             (App
2066                SrcSpanInfo
2067                  { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 42 10 42 23
2068                  , srcInfoPoints = []
2069                  }
2070                (App
2071                   SrcSpanInfo
2072                     { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 42 10 42 17
2073                     , srcInfoPoints = []
2074                     }
2075                   (Var
2076                      SrcSpanInfo
2077                        { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 42 10 42 11
2078                        , srcInfoPoints = []
2079                        }
2080                      (UnQual
2081                         SrcSpanInfo
2082                           { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 42 10 42 11
2083                           , srcInfoPoints = []
2084                           }
2085                         (Ident
2086                            SrcSpanInfo
2087                              { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 42 10 42 11
2088                              , srcInfoPoints = []
2089                              }
2090                            "g")))
2091                   (TypeApp
2092                      SrcSpanInfo
2093                        { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 42 12 42 17
2094                        , srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 42 12 42 13 ]
2095                        }
2096                      (TyCon
2097                         SrcSpanInfo
2098                           { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 42 13 42 17
2099                           , srcInfoPoints = []
2100                           }
2101                         (UnQual
2102                            SrcSpanInfo
2103                              { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 42 13 42 17
2104                              , srcInfoPoints = []
2105                              }
2106                            (Ident
2107                               SrcSpanInfo
2108                                 { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 42 13 42 17
2109                                 , srcInfoPoints = []
2110                                 }
2111                               "Char")))))
2112                (Con
2113                   SrcSpanInfo
2114                     { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 42 18 42 23
2115                     , srcInfoPoints = []
2116                     }
2117                   (UnQual
2118                      SrcSpanInfo
2119                        { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 42 18 42 23
2120                        , srcInfoPoints = []
2121                        }
2122                      (Ident
2123                         SrcSpanInfo
2124                           { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 42 18 42 23
2125                           , srcInfoPoints = []
2126                           }
2127                         "False")))))
2128          Nothing
2129      , TypeSig
2130          SrcSpanInfo
2131            { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 44 1 44 54
2132            , srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 44 9 44 11 ]
2133            }
2134          [ Ident
2135              SrcSpanInfo
2136                { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 44 1 44 8
2137                , srcInfoPoints = []
2138                }
2139              "mapSame"
2140          ]
2141          (TyForall
2142             SrcSpanInfo
2143               { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 44 12 44 54
2144               , srcInfoPoints =
2145                   [ SrcSpan "tests/examples/Vta1.hs" 44 12 44 18
2146                   , SrcSpan "tests/examples/Vta1.hs" 44 20 44 21
2147                   ]
2148               }
2149             (Just
2150                [ UnkindedVar
2151                    SrcSpanInfo
2152                      { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 44 19 44 20
2153                      , srcInfoPoints = []
2154                      }
2155                    (Ident
2156                       SrcSpanInfo
2157                         { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 44 19 44 20
2158                         , srcInfoPoints = []
2159                         }
2160                       "b")
2161                ])
2162             Nothing
2163             (TyFun
2164                SrcSpanInfo
2165                  { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 44 22 44 54
2166                  , srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 44 41 44 43 ]
2167                  }
2168                (TyParen
2169                   SrcSpanInfo
2170                     { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 44 22 44 40
2171                     , srcInfoPoints =
2172                         [ SrcSpan "tests/examples/Vta1.hs" 44 22 44 23
2173                         , SrcSpan "tests/examples/Vta1.hs" 44 39 44 40
2174                         ]
2175                     }
2176                   (TyForall
2177                      SrcSpanInfo
2178                        { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 44 23 44 39
2179                        , srcInfoPoints =
2180                            [ SrcSpan "tests/examples/Vta1.hs" 44 23 44 29
2181                            , SrcSpan "tests/examples/Vta1.hs" 44 31 44 32
2182                            ]
2183                        }
2184                      (Just
2185                         [ UnkindedVar
2186                             SrcSpanInfo
2187                               { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 44 30 44 31
2188                               , srcInfoPoints = []
2189                               }
2190                             (Ident
2191                                SrcSpanInfo
2192                                  { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 44 30 44 31
2193                                  , srcInfoPoints = []
2194                                  }
2195                                "a")
2196                         ])
2197                      Nothing
2198                      (TyFun
2199                         SrcSpanInfo
2200                           { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 44 33 44 39
2201                           , srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 44 35 44 37 ]
2202                           }
2203                         (TyVar
2204                            SrcSpanInfo
2205                              { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 44 33 44 34
2206                              , srcInfoPoints = []
2207                              }
2208                            (Ident
2209                               SrcSpanInfo
2210                                 { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 44 33 44 34
2211                                 , srcInfoPoints = []
2212                                 }
2213                               "a"))
2214                         (TyVar
2215                            SrcSpanInfo
2216                              { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 44 38 44 39
2217                              , srcInfoPoints = []
2218                              }
2219                            (Ident
2220                               SrcSpanInfo
2221                                 { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 44 38 44 39
2222                                 , srcInfoPoints = []
2223                                 }
2224                               "a")))))
2225                (TyFun
2226                   SrcSpanInfo
2227                     { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 44 44 44 54
2228                     , srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 44 48 44 50 ]
2229                     }
2230                   (TyList
2231                      SrcSpanInfo
2232                        { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 44 44 44 47
2233                        , srcInfoPoints =
2234                            [ SrcSpan "tests/examples/Vta1.hs" 44 44 44 45
2235                            , SrcSpan "tests/examples/Vta1.hs" 44 46 44 47
2236                            ]
2237                        }
2238                      (TyVar
2239                         SrcSpanInfo
2240                           { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 44 45 44 46
2241                           , srcInfoPoints = []
2242                           }
2243                         (Ident
2244                            SrcSpanInfo
2245                              { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 44 45 44 46
2246                              , srcInfoPoints = []
2247                              }
2248                            "b")))
2249                   (TyList
2250                      SrcSpanInfo
2251                        { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 44 51 44 54
2252                        , srcInfoPoints =
2253                            [ SrcSpan "tests/examples/Vta1.hs" 44 51 44 52
2254                            , SrcSpan "tests/examples/Vta1.hs" 44 53 44 54
2255                            ]
2256                        }
2257                      (TyVar
2258                         SrcSpanInfo
2259                           { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 44 52 44 53
2260                           , srcInfoPoints = []
2261                           }
2262                         (Ident
2263                            SrcSpanInfo
2264                              { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 44 52 44 53
2265                              , srcInfoPoints = []
2266                              }
2267                            "b"))))))
2268      , FunBind
2269          SrcSpanInfo
2270            { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 45 1 46 52
2271            , srcInfoPoints = []
2272            }
2273          [ Match
2274              SrcSpanInfo
2275                { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 45 1 45 18
2276                , srcInfoPoints = []
2277                }
2278              (Ident
2279                 SrcSpanInfo
2280                   { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 45 1 45 8
2281                   , srcInfoPoints = []
2282                   }
2283                 "mapSame")
2284              [ PWildCard
2285                  SrcSpanInfo
2286                    { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 45 9 45 10
2287                    , srcInfoPoints = []
2288                    }
2289              , PList
2290                  SrcSpanInfo
2291                    { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 45 11 45 13
2292                    , srcInfoPoints =
2293                        [ SrcSpan "tests/examples/Vta1.hs" 45 11 45 12
2294                        , SrcSpan "tests/examples/Vta1.hs" 45 12 45 13
2295                        ]
2296                    }
2297                  []
2298              ]
2299              (UnGuardedRhs
2300                 SrcSpanInfo
2301                   { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 45 14 45 18
2302                   , srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 45 14 45 15 ]
2303                   }
2304                 (List
2305                    SrcSpanInfo
2306                      { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 45 16 45 18
2307                      , srcInfoPoints =
2308                          [ SrcSpan "tests/examples/Vta1.hs" 45 16 45 17
2309                          , SrcSpan "tests/examples/Vta1.hs" 45 17 45 18
2310                          ]
2311                      }
2312                    []))
2313              Nothing
2314          , Match
2315              SrcSpanInfo
2316                { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 46 1 46 52
2317                , srcInfoPoints = []
2318                }
2319              (Ident
2320                 SrcSpanInfo
2321                   { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 46 1 46 8
2322                   , srcInfoPoints = []
2323                   }
2324                 "mapSame")
2325              [ PVar
2326                  SrcSpanInfo
2327                    { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 46 9 46 12
2328                    , srcInfoPoints = []
2329                    }
2330                  (Ident
2331                     SrcSpanInfo
2332                       { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 46 9 46 12
2333                       , srcInfoPoints = []
2334                       }
2335                     "fun")
2336              , PParen
2337                  SrcSpanInfo
2338                    { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 46 13 46 19
2339                    , srcInfoPoints =
2340                        [ SrcSpan "tests/examples/Vta1.hs" 46 13 46 14
2341                        , SrcSpan "tests/examples/Vta1.hs" 46 18 46 19
2342                        ]
2343                    }
2344                  (PInfixApp
2345                     SrcSpanInfo
2346                       { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 46 14 46 18
2347                       , srcInfoPoints = []
2348                       }
2349                     (PVar
2350                        SrcSpanInfo
2351                          { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 46 14 46 15
2352                          , srcInfoPoints = []
2353                          }
2354                        (Ident
2355                           SrcSpanInfo
2356                             { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 46 14 46 15
2357                             , srcInfoPoints = []
2358                             }
2359                           "x"))
2360                     (Special
2361                        SrcSpanInfo
2362                          { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 46 15 46 16
2363                          , srcInfoPoints = []
2364                          }
2365                        (Cons
2366                           SrcSpanInfo
2367                             { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 46 15 46 16
2368                             , srcInfoPoints = []
2369                             }))
2370                     (PVar
2371                        SrcSpanInfo
2372                          { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 46 16 46 18
2373                          , srcInfoPoints = []
2374                          }
2375                        (Ident
2376                           SrcSpanInfo
2377                             { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 46 16 46 18
2378                             , srcInfoPoints = []
2379                             }
2380                           "xs")))
2381              ]
2382              (UnGuardedRhs
2383                 SrcSpanInfo
2384                   { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 46 20 46 52
2385                   , srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 46 20 46 21 ]
2386                   }
2387                 (InfixApp
2388                    SrcSpanInfo
2389                      { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 46 22 46 52
2390                      , srcInfoPoints = []
2391                      }
2392                    (App
2393                       SrcSpanInfo
2394                         { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 46 22 46 30
2395                         , srcInfoPoints = []
2396                         }
2397                       (App
2398                          SrcSpanInfo
2399                            { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 46 22 46 28
2400                            , srcInfoPoints = []
2401                            }
2402                          (Var
2403                             SrcSpanInfo
2404                               { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 46 22 46 25
2405                               , srcInfoPoints = []
2406                               }
2407                             (UnQual
2408                                SrcSpanInfo
2409                                  { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 46 22 46 25
2410                                  , srcInfoPoints = []
2411                                  }
2412                                (Ident
2413                                   SrcSpanInfo
2414                                     { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 46 22 46 25
2415                                     , srcInfoPoints = []
2416                                     }
2417                                   "fun")))
2418                          (TypeApp
2419                             SrcSpanInfo
2420                               { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 46 26 46 28
2421                               , srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 46 26 46 27 ]
2422                               }
2423                             (TyVar
2424                                SrcSpanInfo
2425                                  { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 46 27 46 28
2426                                  , srcInfoPoints = []
2427                                  }
2428                                (Ident
2429                                   SrcSpanInfo
2430                                     { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 46 27 46 28
2431                                     , srcInfoPoints = []
2432                                     }
2433                                   "b"))))
2434                       (Var
2435                          SrcSpanInfo
2436                            { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 46 29 46 30
2437                            , srcInfoPoints = []
2438                            }
2439                          (UnQual
2440                             SrcSpanInfo
2441                               { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 46 29 46 30
2442                               , srcInfoPoints = []
2443                               }
2444                             (Ident
2445                                SrcSpanInfo
2446                                  { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 46 29 46 30
2447                                  , srcInfoPoints = []
2448                                  }
2449                                "x"))))
2450                    (QConOp
2451                       SrcSpanInfo
2452                         { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 46 31 46 32
2453                         , srcInfoPoints = []
2454                         }
2455                       (Special
2456                          SrcSpanInfo
2457                            { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 46 31 46 32
2458                            , srcInfoPoints = []
2459                            }
2460                          (Cons
2461                             SrcSpanInfo
2462                               { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 46 31 46 32
2463                               , srcInfoPoints = []
2464                               })))
2465                    (Paren
2466                       SrcSpanInfo
2467                         { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 46 33 46 52
2468                         , srcInfoPoints =
2469                             [ SrcSpan "tests/examples/Vta1.hs" 46 33 46 34
2470                             , SrcSpan "tests/examples/Vta1.hs" 46 51 46 52
2471                             ]
2472                         }
2473                       (App
2474                          SrcSpanInfo
2475                            { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 46 34 46 51
2476                            , srcInfoPoints = []
2477                            }
2478                          (App
2479                             SrcSpanInfo
2480                               { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 46 34 46 48
2481                               , srcInfoPoints = []
2482                               }
2483                             (App
2484                                SrcSpanInfo
2485                                  { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 46 34 46 44
2486                                  , srcInfoPoints = []
2487                                  }
2488                                (Var
2489                                   SrcSpanInfo
2490                                     { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 46 34 46 41
2491                                     , srcInfoPoints = []
2492                                     }
2493                                   (UnQual
2494                                      SrcSpanInfo
2495                                        { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 46 34 46 41
2496                                        , srcInfoPoints = []
2497                                        }
2498                                      (Ident
2499                                         SrcSpanInfo
2500                                           { srcInfoSpan =
2501                                               SrcSpan "tests/examples/Vta1.hs" 46 34 46 41
2502                                           , srcInfoPoints = []
2503                                           }
2504                                         "mapSame")))
2505                                (TypeApp
2506                                   SrcSpanInfo
2507                                     { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 46 42 46 44
2508                                     , srcInfoPoints =
2509                                         [ SrcSpan "tests/examples/Vta1.hs" 46 42 46 43 ]
2510                                     }
2511                                   (TyVar
2512                                      SrcSpanInfo
2513                                        { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 46 43 46 44
2514                                        , srcInfoPoints = []
2515                                        }
2516                                      (Ident
2517                                         SrcSpanInfo
2518                                           { srcInfoSpan =
2519                                               SrcSpan "tests/examples/Vta1.hs" 46 43 46 44
2520                                           , srcInfoPoints = []
2521                                           }
2522                                         "b"))))
2523                             (Var
2524                                SrcSpanInfo
2525                                  { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 46 45 46 48
2526                                  , srcInfoPoints = []
2527                                  }
2528                                (UnQual
2529                                   SrcSpanInfo
2530                                     { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 46 45 46 48
2531                                     , srcInfoPoints = []
2532                                     }
2533                                   (Ident
2534                                      SrcSpanInfo
2535                                        { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 46 45 46 48
2536                                        , srcInfoPoints = []
2537                                        }
2538                                      "fun"))))
2539                          (Var
2540                             SrcSpanInfo
2541                               { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 46 49 46 51
2542                               , srcInfoPoints = []
2543                               }
2544                             (UnQual
2545                                SrcSpanInfo
2546                                  { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 46 49 46 51
2547                                  , srcInfoPoints = []
2548                                  }
2549                                (Ident
2550                                   SrcSpanInfo
2551                                     { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 46 49 46 51
2552                                     , srcInfoPoints = []
2553                                     }
2554                                   "xs")))))))
2555              Nothing
2556          ]
2557      , TypeSig
2558          SrcSpanInfo
2559            { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 48 1 48 46
2560            , srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 48 6 48 8 ]
2561            }
2562          [ Ident
2563              SrcSpanInfo
2564                { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 48 1 48 5
2565                , srcInfoPoints = []
2566                }
2567              "pair"
2568          ]
2569          (TyForall
2570             SrcSpanInfo
2571               { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 48 9 48 46
2572               , srcInfoPoints =
2573                   [ SrcSpan "tests/examples/Vta1.hs" 48 9 48 15
2574                   , SrcSpan "tests/examples/Vta1.hs" 48 17 48 18
2575                   ]
2576               }
2577             (Just
2578                [ UnkindedVar
2579                    SrcSpanInfo
2580                      { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 48 16 48 17
2581                      , srcInfoPoints = []
2582                      }
2583                    (Ident
2584                       SrcSpanInfo
2585                         { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 48 16 48 17
2586                         , srcInfoPoints = []
2587                         }
2588                       "a")
2589                ])
2590             Nothing
2591             (TyFun
2592                SrcSpanInfo
2593                  { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 48 19 48 46
2594                  , srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 48 20 48 22 ]
2595                  }
2596                (TyVar
2597                   SrcSpanInfo
2598                     { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 48 19 48 20
2599                     , srcInfoPoints = []
2600                     }
2601                   (Ident
2602                      SrcSpanInfo
2603                        { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 48 19 48 20
2604                        , srcInfoPoints = []
2605                        }
2606                      "a"))
2607                (TyParen
2608                   SrcSpanInfo
2609                     { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 48 23 48 46
2610                     , srcInfoPoints =
2611                         [ SrcSpan "tests/examples/Vta1.hs" 48 23 48 24
2612                         , SrcSpan "tests/examples/Vta1.hs" 48 45 48 46
2613                         ]
2614                     }
2615                   (TyForall
2616                      SrcSpanInfo
2617                        { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 48 24 48 45
2618                        , srcInfoPoints =
2619                            [ SrcSpan "tests/examples/Vta1.hs" 48 24 48 30
2620                            , SrcSpan "tests/examples/Vta1.hs" 48 32 48 33
2621                            ]
2622                        }
2623                      (Just
2624                         [ UnkindedVar
2625                             SrcSpanInfo
2626                               { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 48 31 48 32
2627                               , srcInfoPoints = []
2628                               }
2629                             (Ident
2630                                SrcSpanInfo
2631                                  { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 48 31 48 32
2632                                  , srcInfoPoints = []
2633                                  }
2634                                "b")
2635                         ])
2636                      Nothing
2637                      (TyFun
2638                         SrcSpanInfo
2639                           { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 48 34 48 45
2640                           , srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 48 36 48 38 ]
2641                           }
2642                         (TyVar
2643                            SrcSpanInfo
2644                              { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 48 34 48 35
2645                              , srcInfoPoints = []
2646                              }
2647                            (Ident
2648                               SrcSpanInfo
2649                                 { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 48 34 48 35
2650                                 , srcInfoPoints = []
2651                                 }
2652                               "b"))
2653                         (TyTuple
2654                            SrcSpanInfo
2655                              { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 48 39 48 45
2656                              , srcInfoPoints =
2657                                  [ SrcSpan "tests/examples/Vta1.hs" 48 39 48 40
2658                                  , SrcSpan "tests/examples/Vta1.hs" 48 41 48 42
2659                                  , SrcSpan "tests/examples/Vta1.hs" 48 44 48 45
2660                                  ]
2661                              }
2662                            Boxed
2663                            [ TyVar
2664                                SrcSpanInfo
2665                                  { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 48 40 48 41
2666                                  , srcInfoPoints = []
2667                                  }
2668                                (Ident
2669                                   SrcSpanInfo
2670                                     { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 48 40 48 41
2671                                     , srcInfoPoints = []
2672                                     }
2673                                   "a")
2674                            , TyVar
2675                                SrcSpanInfo
2676                                  { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 48 43 48 44
2677                                  , srcInfoPoints = []
2678                                  }
2679                                (Ident
2680                                   SrcSpanInfo
2681                                     { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 48 43 48 44
2682                                     , srcInfoPoints = []
2683                                     }
2684                                   "b")
2685                            ]))))))
2686      , FunBind
2687          SrcSpanInfo
2688            { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 49 1 49 18
2689            , srcInfoPoints = []
2690            }
2691          [ Match
2692              SrcSpanInfo
2693                { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 49 1 49 18
2694                , srcInfoPoints = []
2695                }
2696              (Ident
2697                 SrcSpanInfo
2698                   { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 49 1 49 5
2699                   , srcInfoPoints = []
2700                   }
2701                 "pair")
2702              [ PVar
2703                  SrcSpanInfo
2704                    { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 49 6 49 7
2705                    , srcInfoPoints = []
2706                    }
2707                  (Ident
2708                     SrcSpanInfo
2709                       { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 49 6 49 7
2710                       , srcInfoPoints = []
2711                       }
2712                     "x")
2713              , PVar
2714                  SrcSpanInfo
2715                    { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 49 8 49 9
2716                    , srcInfoPoints = []
2717                    }
2718                  (Ident
2719                     SrcSpanInfo
2720                       { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 49 8 49 9
2721                       , srcInfoPoints = []
2722                       }
2723                     "y")
2724              ]
2725              (UnGuardedRhs
2726                 SrcSpanInfo
2727                   { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 49 10 49 18
2728                   , srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 49 10 49 11 ]
2729                   }
2730                 (Tuple
2731                    SrcSpanInfo
2732                      { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 49 12 49 18
2733                      , srcInfoPoints =
2734                          [ SrcSpan "tests/examples/Vta1.hs" 49 12 49 13
2735                          , SrcSpan "tests/examples/Vta1.hs" 49 14 49 15
2736                          , SrcSpan "tests/examples/Vta1.hs" 49 17 49 18
2737                          ]
2738                      }
2739                    Boxed
2740                    [ Var
2741                        SrcSpanInfo
2742                          { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 49 13 49 14
2743                          , srcInfoPoints = []
2744                          }
2745                        (UnQual
2746                           SrcSpanInfo
2747                             { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 49 13 49 14
2748                             , srcInfoPoints = []
2749                             }
2750                           (Ident
2751                              SrcSpanInfo
2752                                { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 49 13 49 14
2753                                , srcInfoPoints = []
2754                                }
2755                              "x"))
2756                    , Var
2757                        SrcSpanInfo
2758                          { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 49 16 49 17
2759                          , srcInfoPoints = []
2760                          }
2761                        (UnQual
2762                           SrcSpanInfo
2763                             { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 49 16 49 17
2764                             , srcInfoPoints = []
2765                             }
2766                           (Ident
2767                              SrcSpanInfo
2768                                { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 49 16 49 17
2769                                , srcInfoPoints = []
2770                                }
2771                              "y"))
2772                    ]))
2773              Nothing
2774          ]
2775      , PatBind
2776          SrcSpanInfo
2777            { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 51 1 51 27
2778            , srcInfoPoints = []
2779            }
2780          (PVar
2781             SrcSpanInfo
2782               { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 51 1 51 2
2783               , srcInfoPoints = []
2784               }
2785             (Ident
2786                SrcSpanInfo
2787                  { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 51 1 51 2
2788                  , srcInfoPoints = []
2789                  }
2790                "b"))
2791          (UnGuardedRhs
2792             SrcSpanInfo
2793               { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 51 3 51 27
2794               , srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 51 3 51 4 ]
2795               }
2796             (App
2797                SrcSpanInfo
2798                  { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 51 5 51 27
2799                  , srcInfoPoints = []
2800                  }
2801                (App
2802                   SrcSpanInfo
2803                     { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 51 5 51 22
2804                     , srcInfoPoints = []
2805                     }
2806                   (App
2807                      SrcSpanInfo
2808                        { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 51 5 51 16
2809                        , srcInfoPoints = []
2810                        }
2811                      (App
2812                         SrcSpanInfo
2813                           { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 51 5 51 14
2814                           , srcInfoPoints = []
2815                           }
2816                         (Var
2817                            SrcSpanInfo
2818                              { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 51 5 51 9
2819                              , srcInfoPoints = []
2820                              }
2821                            (UnQual
2822                               SrcSpanInfo
2823                                 { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 51 5 51 9
2824                                 , srcInfoPoints = []
2825                                 }
2826                               (Ident
2827                                  SrcSpanInfo
2828                                    { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 51 5 51 9
2829                                    , srcInfoPoints = []
2830                                    }
2831                                  "pair")))
2832                         (TypeApp
2833                            SrcSpanInfo
2834                              { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 51 10 51 14
2835                              , srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 51 10 51 11 ]
2836                              }
2837                            (TyCon
2838                               SrcSpanInfo
2839                                 { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 51 11 51 14
2840                                 , srcInfoPoints = []
2841                                 }
2842                               (UnQual
2843                                  SrcSpanInfo
2844                                    { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 51 11 51 14
2845                                    , srcInfoPoints = []
2846                                    }
2847                                  (Ident
2848                                     SrcSpanInfo
2849                                       { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 51 11 51 14
2850                                       , srcInfoPoints = []
2851                                       }
2852                                     "Int")))))
2853                      (Lit
2854                         SrcSpanInfo
2855                           { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 51 15 51 16
2856                           , srcInfoPoints = []
2857                           }
2858                         (Int
2859                            SrcSpanInfo
2860                              { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 51 15 51 16
2861                              , srcInfoPoints = []
2862                              }
2863                            3
2864                            "3")))
2865                   (TypeApp
2866                      SrcSpanInfo
2867                        { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 51 17 51 22
2868                        , srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 51 17 51 18 ]
2869                        }
2870                      (TyCon
2871                         SrcSpanInfo
2872                           { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 51 18 51 22
2873                           , srcInfoPoints = []
2874                           }
2875                         (UnQual
2876                            SrcSpanInfo
2877                              { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 51 18 51 22
2878                              , srcInfoPoints = []
2879                              }
2880                            (Ident
2881                               SrcSpanInfo
2882                                 { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 51 18 51 22
2883                                 , srcInfoPoints = []
2884                                 }
2885                               "Bool")))))
2886                (Con
2887                   SrcSpanInfo
2888                     { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 51 23 51 27
2889                     , srcInfoPoints = []
2890                     }
2891                   (UnQual
2892                      SrcSpanInfo
2893                        { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 51 23 51 27
2894                        , srcInfoPoints = []
2895                        }
2896                      (Ident
2897                         SrcSpanInfo
2898                           { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 51 23 51 27
2899                           , srcInfoPoints = []
2900                           }
2901                         "True")))))
2902          Nothing
2903      , PatBind
2904          SrcSpanInfo
2905            { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 52 1 52 23
2906            , srcInfoPoints = []
2907            }
2908          (PVar
2909             SrcSpanInfo
2910               { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 52 1 52 2
2911               , srcInfoPoints = []
2912               }
2913             (Ident
2914                SrcSpanInfo
2915                  { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 52 1 52 2
2916                  , srcInfoPoints = []
2917                  }
2918                "c"))
2919          (UnGuardedRhs
2920             SrcSpanInfo
2921               { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 52 3 52 23
2922               , srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 52 3 52 4 ]
2923               }
2924             (App
2925                SrcSpanInfo
2926                  { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 52 5 52 23
2927                  , srcInfoPoints = []
2928                  }
2929                (App
2930                   SrcSpanInfo
2931                     { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 52 5 52 15
2932                     , srcInfoPoints = []
2933                     }
2934                   (Var
2935                      SrcSpanInfo
2936                        { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 52 5 52 12
2937                        , srcInfoPoints = []
2938                        }
2939                      (UnQual
2940                         SrcSpanInfo
2941                           { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 52 5 52 12
2942                           , srcInfoPoints = []
2943                           }
2944                         (Ident
2945                            SrcSpanInfo
2946                              { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 52 5 52 12
2947                              , srcInfoPoints = []
2948                              }
2949                            "mapSame")))
2950                   (Var
2951                      SrcSpanInfo
2952                        { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 52 13 52 15
2953                        , srcInfoPoints = []
2954                        }
2955                      (UnQual
2956                         SrcSpanInfo
2957                           { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 52 13 52 15
2958                           , srcInfoPoints = []
2959                           }
2960                         (Ident
2961                            SrcSpanInfo
2962                              { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 52 13 52 15
2963                              , srcInfoPoints = []
2964                              }
2965                            "id"))))
2966                (List
2967                   SrcSpanInfo
2968                     { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 52 16 52 23
2969                     , srcInfoPoints =
2970                         [ SrcSpan "tests/examples/Vta1.hs" 52 16 52 17
2971                         , SrcSpan "tests/examples/Vta1.hs" 52 18 52 19
2972                         , SrcSpan "tests/examples/Vta1.hs" 52 20 52 21
2973                         , SrcSpan "tests/examples/Vta1.hs" 52 22 52 23
2974                         ]
2975                     }
2976                   [ Lit
2977                       SrcSpanInfo
2978                         { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 52 17 52 18
2979                         , srcInfoPoints = []
2980                         }
2981                       (Int
2982                          SrcSpanInfo
2983                            { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 52 17 52 18
2984                            , srcInfoPoints = []
2985                            }
2986                          1
2987                          "1")
2988                   , Lit
2989                       SrcSpanInfo
2990                         { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 52 19 52 20
2991                         , srcInfoPoints = []
2992                         }
2993                       (Int
2994                          SrcSpanInfo
2995                            { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 52 19 52 20
2996                            , srcInfoPoints = []
2997                            }
2998                          2
2999                          "2")
3000                   , Lit
3001                       SrcSpanInfo
3002                         { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 52 21 52 22
3003                         , srcInfoPoints = []
3004                         }
3005                       (Int
3006                          SrcSpanInfo
3007                            { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 52 21 52 22
3008                            , srcInfoPoints = []
3009                            }
3010                          3
3011                          "3")
3012                   ])))
3013          Nothing
3014      , PatBind
3015          SrcSpanInfo
3016            { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 53 1 53 22
3017            , srcInfoPoints = []
3018            }
3019          (PVar
3020             SrcSpanInfo
3021               { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 53 1 53 2
3022               , srcInfoPoints = []
3023               }
3024             (Ident
3025                SrcSpanInfo
3026                  { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 53 1 53 2
3027                  , srcInfoPoints = []
3028                  }
3029                "d"))
3030          (UnGuardedRhs
3031             SrcSpanInfo
3032               { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 53 3 53 22
3033               , srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 53 3 53 4 ]
3034               }
3035             (App
3036                SrcSpanInfo
3037                  { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 53 5 53 22
3038                  , srcInfoPoints = []
3039                  }
3040                (App
3041                   SrcSpanInfo
3042                     { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 53 5 53 17
3043                     , srcInfoPoints = []
3044                     }
3045                   (App
3046                      SrcSpanInfo
3047                        { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 53 5 53 11
3048                        , srcInfoPoints = []
3049                        }
3050                      (Var
3051                         SrcSpanInfo
3052                           { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 53 5 53 9
3053                           , srcInfoPoints = []
3054                           }
3055                         (UnQual
3056                            SrcSpanInfo
3057                              { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 53 5 53 9
3058                              , srcInfoPoints = []
3059                              }
3060                            (Ident
3061                               SrcSpanInfo
3062                                 { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 53 5 53 9
3063                                 , srcInfoPoints = []
3064                                 }
3065                               "pair")))
3066                      (Lit
3067                         SrcSpanInfo
3068                           { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 53 10 53 11
3069                           , srcInfoPoints = []
3070                           }
3071                         (Int
3072                            SrcSpanInfo
3073                              { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 53 10 53 11
3074                              , srcInfoPoints = []
3075                              }
3076                            3
3077                            "3")))
3078                   (TypeApp
3079                      SrcSpanInfo
3080                        { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 53 12 53 17
3081                        , srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 53 12 53 13 ]
3082                        }
3083                      (TyCon
3084                         SrcSpanInfo
3085                           { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 53 13 53 17
3086                           , srcInfoPoints = []
3087                           }
3088                         (UnQual
3089                            SrcSpanInfo
3090                              { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 53 13 53 17
3091                              , srcInfoPoints = []
3092                              }
3093                            (Ident
3094                               SrcSpanInfo
3095                                 { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 53 13 53 17
3096                                 , srcInfoPoints = []
3097                                 }
3098                               "Bool")))))
3099                (Con
3100                   SrcSpanInfo
3101                     { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 53 18 53 22
3102                     , srcInfoPoints = []
3103                     }
3104                   (UnQual
3105                      SrcSpanInfo
3106                        { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 53 18 53 22
3107                        , srcInfoPoints = []
3108                        }
3109                      (Ident
3110                         SrcSpanInfo
3111                           { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 53 18 53 22
3112                           , srcInfoPoints = []
3113                           }
3114                         "True")))))
3115          Nothing
3116      , TypeSig
3117          SrcSpanInfo
3118            { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 55 1 55 52
3119            , srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 55 9 55 11 ]
3120            }
3121          [ Ident
3122              SrcSpanInfo
3123                { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 55 1 55 8
3124                , srcInfoPoints = []
3125                }
3126              "pairnum"
3127          ]
3128          (TyForall
3129             SrcSpanInfo
3130               { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 55 12 55 52
3131               , srcInfoPoints =
3132                   [ SrcSpan "tests/examples/Vta1.hs" 55 12 55 18
3133                   , SrcSpan "tests/examples/Vta1.hs" 55 20 55 21
3134                   ]
3135               }
3136             (Just
3137                [ UnkindedVar
3138                    SrcSpanInfo
3139                      { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 55 19 55 20
3140                      , srcInfoPoints = []
3141                      }
3142                    (Ident
3143                       SrcSpanInfo
3144                         { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 55 19 55 20
3145                         , srcInfoPoints = []
3146                         }
3147                       "a")
3148                ])
3149             (Just
3150                (CxSingle
3151                   SrcSpanInfo
3152                     { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 55 22 55 30
3153                     , srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 55 28 55 30 ]
3154                     }
3155                   (TypeA
3156                      SrcSpanInfo
3157                        { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 55 22 55 30
3158                        , srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 55 28 55 30 ]
3159                        }
3160                      (TyApp
3161                         SrcSpanInfo
3162                           { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 55 22 55 30
3163                           , srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 55 28 55 30 ]
3164                           }
3165                         (TyCon
3166                            SrcSpanInfo
3167                              { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 55 22 55 30
3168                              , srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 55 28 55 30 ]
3169                              }
3170                            (UnQual
3171                               SrcSpanInfo
3172                                 { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 55 22 55 25
3173                                 , srcInfoPoints = []
3174                                 }
3175                               (Ident
3176                                  SrcSpanInfo
3177                                    { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 55 22 55 25
3178                                    , srcInfoPoints = []
3179                                    }
3180                                  "Num")))
3181                         (TyVar
3182                            SrcSpanInfo
3183                              { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 55 26 55 27
3184                              , srcInfoPoints = []
3185                              }
3186                            (Ident
3187                               SrcSpanInfo
3188                                 { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 55 26 55 27
3189                                 , srcInfoPoints = []
3190                                 }
3191                               "a"))))))
3192             (TyForall
3193                SrcSpanInfo
3194                  { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 55 31 55 52
3195                  , srcInfoPoints =
3196                      [ SrcSpan "tests/examples/Vta1.hs" 55 31 55 37
3197                      , SrcSpan "tests/examples/Vta1.hs" 55 39 55 40
3198                      ]
3199                  }
3200                (Just
3201                   [ UnkindedVar
3202                       SrcSpanInfo
3203                         { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 55 38 55 39
3204                         , srcInfoPoints = []
3205                         }
3206                       (Ident
3207                          SrcSpanInfo
3208                            { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 55 38 55 39
3209                            , srcInfoPoints = []
3210                            }
3211                          "b")
3212                   ])
3213                Nothing
3214                (TyFun
3215                   SrcSpanInfo
3216                     { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 55 41 55 52
3217                     , srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 55 43 55 45 ]
3218                     }
3219                   (TyVar
3220                      SrcSpanInfo
3221                        { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 55 41 55 42
3222                        , srcInfoPoints = []
3223                        }
3224                      (Ident
3225                         SrcSpanInfo
3226                           { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 55 41 55 42
3227                           , srcInfoPoints = []
3228                           }
3229                         "b"))
3230                   (TyTuple
3231                      SrcSpanInfo
3232                        { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 55 46 55 52
3233                        , srcInfoPoints =
3234                            [ SrcSpan "tests/examples/Vta1.hs" 55 46 55 47
3235                            , SrcSpan "tests/examples/Vta1.hs" 55 48 55 49
3236                            , SrcSpan "tests/examples/Vta1.hs" 55 51 55 52
3237                            ]
3238                        }
3239                      Boxed
3240                      [ TyVar
3241                          SrcSpanInfo
3242                            { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 55 47 55 48
3243                            , srcInfoPoints = []
3244                            }
3245                          (Ident
3246                             SrcSpanInfo
3247                               { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 55 47 55 48
3248                               , srcInfoPoints = []
3249                               }
3250                             "a")
3251                      , TyVar
3252                          SrcSpanInfo
3253                            { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 55 50 55 51
3254                            , srcInfoPoints = []
3255                            }
3256                          (Ident
3257                             SrcSpanInfo
3258                               { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 55 50 55 51
3259                               , srcInfoPoints = []
3260                               }
3261                             "b")
3262                      ]))))
3263      , PatBind
3264          SrcSpanInfo
3265            { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 56 1 56 17
3266            , srcInfoPoints = []
3267            }
3268          (PVar
3269             SrcSpanInfo
3270               { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 56 1 56 8
3271               , srcInfoPoints = []
3272               }
3273             (Ident
3274                SrcSpanInfo
3275                  { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 56 1 56 8
3276                  , srcInfoPoints = []
3277                  }
3278                "pairnum"))
3279          (UnGuardedRhs
3280             SrcSpanInfo
3281               { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 56 9 56 17
3282               , srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 56 9 56 10 ]
3283               }
3284             (App
3285                SrcSpanInfo
3286                  { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 56 11 56 17
3287                  , srcInfoPoints = []
3288                  }
3289                (Var
3290                   SrcSpanInfo
3291                     { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 56 11 56 15
3292                     , srcInfoPoints = []
3293                     }
3294                   (UnQual
3295                      SrcSpanInfo
3296                        { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 56 11 56 15
3297                        , srcInfoPoints = []
3298                        }
3299                      (Ident
3300                         SrcSpanInfo
3301                           { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 56 11 56 15
3302                           , srcInfoPoints = []
3303                           }
3304                         "pair")))
3305                (Lit
3306                   SrcSpanInfo
3307                     { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 56 16 56 17
3308                     , srcInfoPoints = []
3309                     }
3310                   (Int
3311                      SrcSpanInfo
3312                        { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 56 16 56 17
3313                        , srcInfoPoints = []
3314                        }
3315                      3
3316                      "3"))))
3317          Nothing
3318      , PatBind
3319          SrcSpanInfo
3320            { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 58 1 58 73
3321            , srcInfoPoints = []
3322            }
3323          (PVar
3324             SrcSpanInfo
3325               { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 58 1 58 2
3326               , srcInfoPoints = []
3327               }
3328             (Ident
3329                SrcSpanInfo
3330                  { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 58 1 58 2
3331                  , srcInfoPoints = []
3332                  }
3333                "e"))
3334          (UnGuardedRhs
3335             SrcSpanInfo
3336               { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 58 3 58 73
3337               , srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 58 3 58 4 ]
3338               }
3339             (App
3340                SrcSpanInfo
3341                  { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 58 5 58 73
3342                  , srcInfoPoints = []
3343                  }
3344                (App
3345                   SrcSpanInfo
3346                     { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 58 5 58 68
3347                     , srcInfoPoints = []
3348                     }
3349                   (App
3350                      SrcSpanInfo
3351                        { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 58 5 58 62
3352                        , srcInfoPoints = []
3353                        }
3354                      (Paren
3355                         SrcSpanInfo
3356                           { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 58 5 58 57
3357                           , srcInfoPoints =
3358                               [ SrcSpan "tests/examples/Vta1.hs" 58 5 58 6
3359                               , SrcSpan "tests/examples/Vta1.hs" 58 56 58 57
3360                               ]
3361                           }
3362                         (ExpTypeSig
3363                            SrcSpanInfo
3364                              { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 58 6 58 56
3365                              , srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 58 13 58 15 ]
3366                              }
3367                            (App
3368                               SrcSpanInfo
3369                                 { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 58 6 58 12
3370                                 , srcInfoPoints = []
3371                                 }
3372                               (Var
3373                                  SrcSpanInfo
3374                                    { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 58 6 58 10
3375                                    , srcInfoPoints = []
3376                                    }
3377                                  (UnQual
3378                                     SrcSpanInfo
3379                                       { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 58 6 58 10
3380                                       , srcInfoPoints = []
3381                                       }
3382                                     (Ident
3383                                        SrcSpanInfo
3384                                          { srcInfoSpan =
3385                                              SrcSpan "tests/examples/Vta1.hs" 58 6 58 10
3386                                          , srcInfoPoints = []
3387                                          }
3388                                        "pair")))
3389                               (Lit
3390                                  SrcSpanInfo
3391                                    { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 58 11 58 12
3392                                    , srcInfoPoints = []
3393                                    }
3394                                  (Int
3395                                     SrcSpanInfo
3396                                       { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 58 11 58 12
3397                                       , srcInfoPoints = []
3398                                       }
3399                                     3
3400                                     "3")))
3401                            (TyForall
3402                               SrcSpanInfo
3403                                 { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 58 16 58 56
3404                                 , srcInfoPoints =
3405                                     [ SrcSpan "tests/examples/Vta1.hs" 58 16 58 22
3406                                     , SrcSpan "tests/examples/Vta1.hs" 58 24 58 25
3407                                     ]
3408                                 }
3409                               (Just
3410                                  [ UnkindedVar
3411                                      SrcSpanInfo
3412                                        { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 58 23 58 24
3413                                        , srcInfoPoints = []
3414                                        }
3415                                      (Ident
3416                                         SrcSpanInfo
3417                                           { srcInfoSpan =
3418                                               SrcSpan "tests/examples/Vta1.hs" 58 23 58 24
3419                                           , srcInfoPoints = []
3420                                           }
3421                                         "a")
3422                                  ])
3423                               (Just
3424                                  (CxSingle
3425                                     SrcSpanInfo
3426                                       { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 58 26 58 34
3427                                       , srcInfoPoints =
3428                                           [ SrcSpan "tests/examples/Vta1.hs" 58 32 58 34 ]
3429                                       }
3430                                     (TypeA
3431                                        SrcSpanInfo
3432                                          { srcInfoSpan =
3433                                              SrcSpan "tests/examples/Vta1.hs" 58 26 58 34
3434                                          , srcInfoPoints =
3435                                              [ SrcSpan "tests/examples/Vta1.hs" 58 32 58 34 ]
3436                                          }
3437                                        (TyApp
3438                                           SrcSpanInfo
3439                                             { srcInfoSpan =
3440                                                 SrcSpan "tests/examples/Vta1.hs" 58 26 58 34
3441                                             , srcInfoPoints =
3442                                                 [ SrcSpan "tests/examples/Vta1.hs" 58 32 58 34 ]
3443                                             }
3444                                           (TyCon
3445                                              SrcSpanInfo
3446                                                { srcInfoSpan =
3447                                                    SrcSpan "tests/examples/Vta1.hs" 58 26 58 34
3448                                                , srcInfoPoints =
3449                                                    [ SrcSpan "tests/examples/Vta1.hs" 58 32 58 34 ]
3450                                                }
3451                                              (UnQual
3452                                                 SrcSpanInfo
3453                                                   { srcInfoSpan =
3454                                                       SrcSpan "tests/examples/Vta1.hs" 58 26 58 29
3455                                                   , srcInfoPoints = []
3456                                                   }
3457                                                 (Ident
3458                                                    SrcSpanInfo
3459                                                      { srcInfoSpan =
3460                                                          SrcSpan
3461                                                            "tests/examples/Vta1.hs" 58 26 58 29
3462                                                      , srcInfoPoints = []
3463                                                      }
3464                                                    "Num")))
3465                                           (TyVar
3466                                              SrcSpanInfo
3467                                                { srcInfoSpan =
3468                                                    SrcSpan "tests/examples/Vta1.hs" 58 30 58 31
3469                                                , srcInfoPoints = []
3470                                                }
3471                                              (Ident
3472                                                 SrcSpanInfo
3473                                                   { srcInfoSpan =
3474                                                       SrcSpan "tests/examples/Vta1.hs" 58 30 58 31
3475                                                   , srcInfoPoints = []
3476                                                   }
3477                                                 "a"))))))
3478                               (TyForall
3479                                  SrcSpanInfo
3480                                    { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 58 35 58 56
3481                                    , srcInfoPoints =
3482                                        [ SrcSpan "tests/examples/Vta1.hs" 58 35 58 41
3483                                        , SrcSpan "tests/examples/Vta1.hs" 58 43 58 44
3484                                        ]
3485                                    }
3486                                  (Just
3487                                     [ UnkindedVar
3488                                         SrcSpanInfo
3489                                           { srcInfoSpan =
3490                                               SrcSpan "tests/examples/Vta1.hs" 58 42 58 43
3491                                           , srcInfoPoints = []
3492                                           }
3493                                         (Ident
3494                                            SrcSpanInfo
3495                                              { srcInfoSpan =
3496                                                  SrcSpan "tests/examples/Vta1.hs" 58 42 58 43
3497                                              , srcInfoPoints = []
3498                                              }
3499                                            "b")
3500                                     ])
3501                                  Nothing
3502                                  (TyFun
3503                                     SrcSpanInfo
3504                                       { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 58 45 58 56
3505                                       , srcInfoPoints =
3506                                           [ SrcSpan "tests/examples/Vta1.hs" 58 47 58 49 ]
3507                                       }
3508                                     (TyVar
3509                                        SrcSpanInfo
3510                                          { srcInfoSpan =
3511                                              SrcSpan "tests/examples/Vta1.hs" 58 45 58 46
3512                                          , srcInfoPoints = []
3513                                          }
3514                                        (Ident
3515                                           SrcSpanInfo
3516                                             { srcInfoSpan =
3517                                                 SrcSpan "tests/examples/Vta1.hs" 58 45 58 46
3518                                             , srcInfoPoints = []
3519                                             }
3520                                           "b"))
3521                                     (TyTuple
3522                                        SrcSpanInfo
3523                                          { srcInfoSpan =
3524                                              SrcSpan "tests/examples/Vta1.hs" 58 50 58 56
3525                                          , srcInfoPoints =
3526                                              [ SrcSpan "tests/examples/Vta1.hs" 58 50 58 51
3527                                              , SrcSpan "tests/examples/Vta1.hs" 58 52 58 53
3528                                              , SrcSpan "tests/examples/Vta1.hs" 58 55 58 56
3529                                              ]
3530                                          }
3531                                        Boxed
3532                                        [ TyVar
3533                                            SrcSpanInfo
3534                                              { srcInfoSpan =
3535                                                  SrcSpan "tests/examples/Vta1.hs" 58 51 58 52
3536                                              , srcInfoPoints = []
3537                                              }
3538                                            (Ident
3539                                               SrcSpanInfo
3540                                                 { srcInfoSpan =
3541                                                     SrcSpan "tests/examples/Vta1.hs" 58 51 58 52
3542                                                 , srcInfoPoints = []
3543                                                 }
3544                                               "a")
3545                                        , TyVar
3546                                            SrcSpanInfo
3547                                              { srcInfoSpan =
3548                                                  SrcSpan "tests/examples/Vta1.hs" 58 54 58 55
3549                                              , srcInfoPoints = []
3550                                              }
3551                                            (Ident
3552                                               SrcSpanInfo
3553                                                 { srcInfoSpan =
3554                                                     SrcSpan "tests/examples/Vta1.hs" 58 54 58 55
3555                                                 , srcInfoPoints = []
3556                                                 }
3557                                               "b")
3558                                        ]))))))
3559                      (TypeApp
3560                         SrcSpanInfo
3561                           { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 58 58 58 62
3562                           , srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 58 58 58 59 ]
3563                           }
3564                         (TyCon
3565                            SrcSpanInfo
3566                              { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 58 59 58 62
3567                              , srcInfoPoints = []
3568                              }
3569                            (UnQual
3570                               SrcSpanInfo
3571                                 { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 58 59 58 62
3572                                 , srcInfoPoints = []
3573                                 }
3574                               (Ident
3575                                  SrcSpanInfo
3576                                    { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 58 59 58 62
3577                                    , srcInfoPoints = []
3578                                    }
3579                                  "Int")))))
3580                   (TypeApp
3581                      SrcSpanInfo
3582                        { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 58 63 58 68
3583                        , srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 58 63 58 64 ]
3584                        }
3585                      (TyCon
3586                         SrcSpanInfo
3587                           { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 58 64 58 68
3588                           , srcInfoPoints = []
3589                           }
3590                         (UnQual
3591                            SrcSpanInfo
3592                              { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 58 64 58 68
3593                              , srcInfoPoints = []
3594                              }
3595                            (Ident
3596                               SrcSpanInfo
3597                                 { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 58 64 58 68
3598                                 , srcInfoPoints = []
3599                                 }
3600                               "Bool")))))
3601                (Con
3602                   SrcSpanInfo
3603                     { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 58 69 58 73
3604                     , srcInfoPoints = []
3605                     }
3606                   (UnQual
3607                      SrcSpanInfo
3608                        { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 58 69 58 73
3609                        , srcInfoPoints = []
3610                        }
3611                      (Ident
3612                         SrcSpanInfo
3613                           { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 58 69 58 73
3614                           , srcInfoPoints = []
3615                           }
3616                         "True")))))
3617          Nothing
3618      , PatBind
3619          SrcSpanInfo
3620            { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 59 1 59 28
3621            , srcInfoPoints = []
3622            }
3623          (PVar
3624             SrcSpanInfo
3625               { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 59 1 59 2
3626               , srcInfoPoints = []
3627               }
3628             (Ident
3629                SrcSpanInfo
3630                  { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 59 1 59 2
3631                  , srcInfoPoints = []
3632                  }
3633                "h"))
3634          (UnGuardedRhs
3635             SrcSpanInfo
3636               { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 59 3 59 28
3637               , srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 59 3 59 4 ]
3638               }
3639             (App
3640                SrcSpanInfo
3641                  { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 59 5 59 28
3642                  , srcInfoPoints = []
3643                  }
3644                (App
3645                   SrcSpanInfo
3646                     { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 59 5 59 23
3647                     , srcInfoPoints = []
3648                     }
3649                   (App
3650                      SrcSpanInfo
3651                        { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 59 5 59 17
3652                        , srcInfoPoints = []
3653                        }
3654                      (Var
3655                         SrcSpanInfo
3656                           { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 59 5 59 12
3657                           , srcInfoPoints = []
3658                           }
3659                         (UnQual
3660                            SrcSpanInfo
3661                              { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 59 5 59 12
3662                              , srcInfoPoints = []
3663                              }
3664                            (Ident
3665                               SrcSpanInfo
3666                                 { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 59 5 59 12
3667                                 , srcInfoPoints = []
3668                                 }
3669                               "pairnum")))
3670                      (TypeApp
3671                         SrcSpanInfo
3672                           { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 59 13 59 17
3673                           , srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 59 13 59 14 ]
3674                           }
3675                         (TyCon
3676                            SrcSpanInfo
3677                              { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 59 14 59 17
3678                              , srcInfoPoints = []
3679                              }
3680                            (UnQual
3681                               SrcSpanInfo
3682                                 { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 59 14 59 17
3683                                 , srcInfoPoints = []
3684                                 }
3685                               (Ident
3686                                  SrcSpanInfo
3687                                    { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 59 14 59 17
3688                                    , srcInfoPoints = []
3689                                    }
3690                                  "Int")))))
3691                   (TypeApp
3692                      SrcSpanInfo
3693                        { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 59 18 59 23
3694                        , srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 59 18 59 19 ]
3695                        }
3696                      (TyCon
3697                         SrcSpanInfo
3698                           { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 59 19 59 23
3699                           , srcInfoPoints = []
3700                           }
3701                         (UnQual
3702                            SrcSpanInfo
3703                              { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 59 19 59 23
3704                              , srcInfoPoints = []
3705                              }
3706                            (Ident
3707                               SrcSpanInfo
3708                                 { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 59 19 59 23
3709                                 , srcInfoPoints = []
3710                                 }
3711                               "Bool")))))
3712                (Con
3713                   SrcSpanInfo
3714                     { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 59 24 59 28
3715                     , srcInfoPoints = []
3716                     }
3717                   (UnQual
3718                      SrcSpanInfo
3719                        { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 59 24 59 28
3720                        , srcInfoPoints = []
3721                        }
3722                      (Ident
3723                         SrcSpanInfo
3724                           { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 59 24 59 28
3725                           , srcInfoPoints = []
3726                           }
3727                         "True")))))
3728          Nothing
3729      , DataDecl
3730          SrcSpanInfo
3731            { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 61 1 61 29
3732            , srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 61 26 61 27 ]
3733            }
3734          (DataType
3735             SrcSpanInfo
3736               { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 61 1 61 5
3737               , srcInfoPoints = []
3738               })
3739          Nothing
3740          (DHApp
3741             SrcSpanInfo
3742               { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 61 6 61 25
3743               , srcInfoPoints = []
3744               }
3745             (DHead
3746                SrcSpanInfo
3747                  { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 61 6 61 11
3748                  , srcInfoPoints = []
3749                  }
3750                (Ident
3751                   SrcSpanInfo
3752                     { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 61 6 61 11
3753                     , srcInfoPoints = []
3754                     }
3755                   "First"))
3756             (KindedVar
3757                SrcSpanInfo
3758                  { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 61 12 61 25
3759                  , srcInfoPoints =
3760                      [ SrcSpan "tests/examples/Vta1.hs" 61 12 61 13
3761                      , SrcSpan "tests/examples/Vta1.hs" 61 15 61 17
3762                      , SrcSpan "tests/examples/Vta1.hs" 61 24 61 25
3763                      ]
3764                  }
3765                (Ident
3766                   SrcSpanInfo
3767                     { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 61 13 61 14
3768                     , srcInfoPoints = []
3769                     }
3770                   "a")
3771                (TyFun
3772                   SrcSpanInfo
3773                     { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 61 18 61 24
3774                     , srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 61 20 61 22 ]
3775                     }
3776                   (TyStar
3777                      SrcSpanInfo
3778                        { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 61 18 61 19
3779                        , srcInfoPoints = []
3780                        })
3781                   (TyStar
3782                      SrcSpanInfo
3783                        { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 61 23 61 24
3784                        , srcInfoPoints = []
3785                        }))))
3786          [ QualConDecl
3787              SrcSpanInfo
3788                { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 61 28 61 29
3789                , srcInfoPoints = []
3790                }
3791              Nothing
3792              Nothing
3793              (ConDecl
3794                 SrcSpanInfo
3795                   { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 61 28 61 29
3796                   , srcInfoPoints = []
3797                   }
3798                 (Ident
3799                    SrcSpanInfo
3800                      { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 61 28 61 29
3801                      , srcInfoPoints = []
3802                      }
3803                    "F")
3804                 [])
3805          ]
3806          []
3807      , DataDecl
3808          SrcSpanInfo
3809            { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 62 1 62 24
3810            , srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 62 21 62 22 ]
3811            }
3812          (DataType
3813             SrcSpanInfo
3814               { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 62 1 62 5
3815               , srcInfoPoints = []
3816               })
3817          Nothing
3818          (DHApp
3819             SrcSpanInfo
3820               { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 62 6 62 20
3821               , srcInfoPoints = []
3822               }
3823             (DHead
3824                SrcSpanInfo
3825                  { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 62 6 62 11
3826                  , srcInfoPoints = []
3827                  }
3828                (Ident
3829                   SrcSpanInfo
3830                     { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 62 6 62 11
3831                     , srcInfoPoints = []
3832                     }
3833                   "Proxy"))
3834             (KindedVar
3835                SrcSpanInfo
3836                  { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 62 12 62 20
3837                  , srcInfoPoints =
3838                      [ SrcSpan "tests/examples/Vta1.hs" 62 12 62 13
3839                      , SrcSpan "tests/examples/Vta1.hs" 62 15 62 17
3840                      , SrcSpan "tests/examples/Vta1.hs" 62 19 62 20
3841                      ]
3842                  }
3843                (Ident
3844                   SrcSpanInfo
3845                     { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 62 13 62 14
3846                     , srcInfoPoints = []
3847                     }
3848                   "a")
3849                (TyVar
3850                   SrcSpanInfo
3851                     { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 62 18 62 19
3852                     , srcInfoPoints = []
3853                     }
3854                   (Ident
3855                      SrcSpanInfo
3856                        { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 62 18 62 19
3857                        , srcInfoPoints = []
3858                        }
3859                      "k"))))
3860          [ QualConDecl
3861              SrcSpanInfo
3862                { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 62 23 62 24
3863                , srcInfoPoints = []
3864                }
3865              Nothing
3866              Nothing
3867              (ConDecl
3868                 SrcSpanInfo
3869                   { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 62 23 62 24
3870                   , srcInfoPoints = []
3871                   }
3872                 (Ident
3873                    SrcSpanInfo
3874                      { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 62 23 62 24
3875                      , srcInfoPoints = []
3876                      }
3877                    "P")
3878                 [])
3879          ]
3880          []
3881      , DataDecl
3882          SrcSpanInfo
3883            { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 63 1 63 34
3884            , srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 63 31 63 32 ]
3885            }
3886          (DataType
3887             SrcSpanInfo
3888               { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 63 1 63 5
3889               , srcInfoPoints = []
3890               })
3891          Nothing
3892          (DHApp
3893             SrcSpanInfo
3894               { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 63 6 63 30
3895               , srcInfoPoints = []
3896               }
3897             (DHead
3898                SrcSpanInfo
3899                  { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 63 6 63 11
3900                  , srcInfoPoints = []
3901                  }
3902                (Ident
3903                   SrcSpanInfo
3904                     { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 63 6 63 11
3905                     , srcInfoPoints = []
3906                     }
3907                   "Three"))
3908             (KindedVar
3909                SrcSpanInfo
3910                  { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 63 12 63 30
3911                  , srcInfoPoints =
3912                      [ SrcSpan "tests/examples/Vta1.hs" 63 12 63 13
3913                      , SrcSpan "tests/examples/Vta1.hs" 63 15 63 17
3914                      , SrcSpan "tests/examples/Vta1.hs" 63 29 63 30
3915                      ]
3916                  }
3917                (Ident
3918                   SrcSpanInfo
3919                     { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 63 13 63 14
3920                     , srcInfoPoints = []
3921                     }
3922                   "a")
3923                (TyFun
3924                   SrcSpanInfo
3925                     { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 63 18 63 29
3926                     , srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 63 20 63 22 ]
3927                     }
3928                   (TyStar
3929                      SrcSpanInfo
3930                        { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 63 18 63 19
3931                        , srcInfoPoints = []
3932                        })
3933                   (TyFun
3934                      SrcSpanInfo
3935                        { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 63 23 63 29
3936                        , srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 63 25 63 27 ]
3937                        }
3938                      (TyVar
3939                         SrcSpanInfo
3940                           { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 63 23 63 24
3941                           , srcInfoPoints = []
3942                           }
3943                         (Ident
3944                            SrcSpanInfo
3945                              { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 63 23 63 24
3946                              , srcInfoPoints = []
3947                              }
3948                            "k"))
3949                      (TyStar
3950                         SrcSpanInfo
3951                           { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 63 28 63 29
3952                           , srcInfoPoints = []
3953                           })))))
3954          [ QualConDecl
3955              SrcSpanInfo
3956                { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 63 33 63 34
3957                , srcInfoPoints = []
3958                }
3959              Nothing
3960              Nothing
3961              (ConDecl
3962                 SrcSpanInfo
3963                   { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 63 33 63 34
3964                   , srcInfoPoints = []
3965                   }
3966                 (Ident
3967                    SrcSpanInfo
3968                      { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 63 33 63 34
3969                      , srcInfoPoints = []
3970                      }
3971                    "T")
3972                 [])
3973          ]
3974          []
3975      , TypeSig
3976          SrcSpanInfo
3977            { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 65 1 65 22
3978            , srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 65 5 65 7 ]
3979            }
3980          [ Ident
3981              SrcSpanInfo
3982                { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 65 1 65 4
3983                , srcInfoPoints = []
3984                }
3985              "foo"
3986          ]
3987          (TyFun
3988             SrcSpanInfo
3989               { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 65 8 65 22
3990               , srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 65 16 65 18 ]
3991               }
3992             (TyApp
3993                SrcSpanInfo
3994                  { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 65 8 65 15
3995                  , srcInfoPoints = []
3996                  }
3997                (TyCon
3998                   SrcSpanInfo
3999                     { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 65 8 65 13
4000                     , srcInfoPoints = []
4001                     }
4002                   (UnQual
4003                      SrcSpanInfo
4004                        { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 65 8 65 13
4005                        , srcInfoPoints = []
4006                        }
4007                      (Ident
4008                         SrcSpanInfo
4009                           { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 65 8 65 13
4010                           , srcInfoPoints = []
4011                           }
4012                         "Proxy")))
4013                (TyVar
4014                   SrcSpanInfo
4015                     { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 65 14 65 15
4016                     , srcInfoPoints = []
4017                     }
4018                   (Ident
4019                      SrcSpanInfo
4020                        { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 65 14 65 15
4021                        , srcInfoPoints = []
4022                        }
4023                      "a")))
4024             (TyCon
4025                SrcSpanInfo
4026                  { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 65 19 65 22
4027                  , srcInfoPoints = []
4028                  }
4029                (UnQual
4030                   SrcSpanInfo
4031                     { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 65 19 65 22
4032                     , srcInfoPoints = []
4033                     }
4034                   (Ident
4035                      SrcSpanInfo
4036                        { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 65 19 65 22
4037                        , srcInfoPoints = []
4038                        }
4039                      "Int"))))
4040      , FunBind
4041          SrcSpanInfo
4042            { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 66 1 66 10
4043            , srcInfoPoints = []
4044            }
4045          [ Match
4046              SrcSpanInfo
4047                { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 66 1 66 10
4048                , srcInfoPoints = []
4049                }
4050              (Ident
4051                 SrcSpanInfo
4052                   { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 66 1 66 4
4053                   , srcInfoPoints = []
4054                   }
4055                 "foo")
4056              [ PWildCard
4057                  SrcSpanInfo
4058                    { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 66 5 66 6
4059                    , srcInfoPoints = []
4060                    }
4061              ]
4062              (UnGuardedRhs
4063                 SrcSpanInfo
4064                   { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 66 7 66 10
4065                   , srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 66 7 66 8 ]
4066                   }
4067                 (Lit
4068                    SrcSpanInfo
4069                      { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 66 9 66 10
4070                      , srcInfoPoints = []
4071                      }
4072                    (Int
4073                       SrcSpanInfo
4074                         { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 66 9 66 10
4075                         , srcInfoPoints = []
4076                         }
4077                       0
4078                       "0")))
4079              Nothing
4080          ]
4081      , TypeSig
4082          SrcSpanInfo
4083            { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 68 1 68 24
4084            , srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 68 7 68 9 ]
4085            }
4086          [ Ident
4087              SrcSpanInfo
4088                { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 68 1 68 6
4089                , srcInfoPoints = []
4090                }
4091              "first"
4092          ]
4093          (TyFun
4094             SrcSpanInfo
4095               { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 68 10 68 24
4096               , srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 68 18 68 20 ]
4097               }
4098             (TyApp
4099                SrcSpanInfo
4100                  { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 68 10 68 17
4101                  , srcInfoPoints = []
4102                  }
4103                (TyCon
4104                   SrcSpanInfo
4105                     { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 68 10 68 15
4106                     , srcInfoPoints = []
4107                     }
4108                   (UnQual
4109                      SrcSpanInfo
4110                        { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 68 10 68 15
4111                        , srcInfoPoints = []
4112                        }
4113                      (Ident
4114                         SrcSpanInfo
4115                           { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 68 10 68 15
4116                           , srcInfoPoints = []
4117                           }
4118                         "First")))
4119                (TyVar
4120                   SrcSpanInfo
4121                     { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 68 16 68 17
4122                     , srcInfoPoints = []
4123                     }
4124                   (Ident
4125                      SrcSpanInfo
4126                        { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 68 16 68 17
4127                        , srcInfoPoints = []
4128                        }
4129                      "a")))
4130             (TyCon
4131                SrcSpanInfo
4132                  { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 68 21 68 24
4133                  , srcInfoPoints = []
4134                  }
4135                (UnQual
4136                   SrcSpanInfo
4137                     { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 68 21 68 24
4138                     , srcInfoPoints = []
4139                     }
4140                   (Ident
4141                      SrcSpanInfo
4142                        { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 68 21 68 24
4143                        , srcInfoPoints = []
4144                        }
4145                      "Int"))))
4146      , FunBind
4147          SrcSpanInfo
4148            { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 69 1 69 12
4149            , srcInfoPoints = []
4150            }
4151          [ Match
4152              SrcSpanInfo
4153                { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 69 1 69 12
4154                , srcInfoPoints = []
4155                }
4156              (Ident
4157                 SrcSpanInfo
4158                   { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 69 1 69 6
4159                   , srcInfoPoints = []
4160                   }
4161                 "first")
4162              [ PWildCard
4163                  SrcSpanInfo
4164                    { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 69 7 69 8
4165                    , srcInfoPoints = []
4166                    }
4167              ]
4168              (UnGuardedRhs
4169                 SrcSpanInfo
4170                   { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 69 9 69 12
4171                   , srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 69 9 69 10 ]
4172                   }
4173                 (Lit
4174                    SrcSpanInfo
4175                      { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 69 11 69 12
4176                      , srcInfoPoints = []
4177                      }
4178                    (Int
4179                       SrcSpanInfo
4180                         { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 69 11 69 12
4181                         , srcInfoPoints = []
4182                         }
4183                       0
4184                       "0")))
4185              Nothing
4186          ]
4187      , PatBind
4188          SrcSpanInfo
4189            { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 71 1 71 16
4190            , srcInfoPoints = []
4191            }
4192          (PVar
4193             SrcSpanInfo
4194               { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 71 1 71 6
4195               , srcInfoPoints = []
4196               }
4197             (Ident
4198                SrcSpanInfo
4199                  { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 71 1 71 6
4200                  , srcInfoPoints = []
4201                  }
4202                "fTest"))
4203          (UnGuardedRhs
4204             SrcSpanInfo
4205               { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 71 7 71 16
4206               , srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 71 7 71 8 ]
4207               }
4208             (App
4209                SrcSpanInfo
4210                  { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 71 9 71 16
4211                  , srcInfoPoints = []
4212                  }
4213                (Var
4214                   SrcSpanInfo
4215                     { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 71 9 71 14
4216                     , srcInfoPoints = []
4217                     }
4218                   (UnQual
4219                      SrcSpanInfo
4220                        { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 71 9 71 14
4221                        , srcInfoPoints = []
4222                        }
4223                      (Ident
4224                         SrcSpanInfo
4225                           { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 71 9 71 14
4226                           , srcInfoPoints = []
4227                           }
4228                         "first")))
4229                (Con
4230                   SrcSpanInfo
4231                     { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 71 15 71 16
4232                     , srcInfoPoints = []
4233                     }
4234                   (UnQual
4235                      SrcSpanInfo
4236                        { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 71 15 71 16
4237                        , srcInfoPoints = []
4238                        }
4239                      (Ident
4240                         SrcSpanInfo
4241                           { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 71 15 71 16
4242                           , srcInfoPoints = []
4243                           }
4244                         "F")))))
4245          Nothing
4246      , PatBind
4247          SrcSpanInfo
4248            { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 72 1 72 24
4249            , srcInfoPoints = []
4250            }
4251          (PVar
4252             SrcSpanInfo
4253               { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 72 1 72 7
4254               , srcInfoPoints = []
4255               }
4256             (Ident
4257                SrcSpanInfo
4258                  { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 72 1 72 7
4259                  , srcInfoPoints = []
4260                  }
4261                "fMaybe"))
4262          (UnGuardedRhs
4263             SrcSpanInfo
4264               { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 72 8 72 24
4265               , srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 72 8 72 9 ]
4266               }
4267             (App
4268                SrcSpanInfo
4269                  { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 72 10 72 24
4270                  , srcInfoPoints = []
4271                  }
4272                (App
4273                   SrcSpanInfo
4274                     { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 72 10 72 22
4275                     , srcInfoPoints = []
4276                     }
4277                   (Var
4278                      SrcSpanInfo
4279                        { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 72 10 72 15
4280                        , srcInfoPoints = []
4281                        }
4282                      (UnQual
4283                         SrcSpanInfo
4284                           { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 72 10 72 15
4285                           , srcInfoPoints = []
4286                           }
4287                         (Ident
4288                            SrcSpanInfo
4289                              { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 72 10 72 15
4290                              , srcInfoPoints = []
4291                              }
4292                            "first")))
4293                   (TypeApp
4294                      SrcSpanInfo
4295                        { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 72 16 72 22
4296                        , srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 72 16 72 17 ]
4297                        }
4298                      (TyCon
4299                         SrcSpanInfo
4300                           { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 72 17 72 22
4301                           , srcInfoPoints = []
4302                           }
4303                         (UnQual
4304                            SrcSpanInfo
4305                              { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 72 17 72 22
4306                              , srcInfoPoints = []
4307                              }
4308                            (Ident
4309                               SrcSpanInfo
4310                                 { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 72 17 72 22
4311                                 , srcInfoPoints = []
4312                                 }
4313                               "Maybe")))))
4314                (Con
4315                   SrcSpanInfo
4316                     { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 72 23 72 24
4317                     , srcInfoPoints = []
4318                     }
4319                   (UnQual
4320                      SrcSpanInfo
4321                        { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 72 23 72 24
4322                        , srcInfoPoints = []
4323                        }
4324                      (Ident
4325                         SrcSpanInfo
4326                           { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 72 23 72 24
4327                           , srcInfoPoints = []
4328                           }
4329                         "F")))))
4330          Nothing
4331      , PatBind
4332          SrcSpanInfo
4333            { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 74 1 74 13
4334            , srcInfoPoints = []
4335            }
4336          (PVar
4337             SrcSpanInfo
4338               { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 74 1 74 5
4339               , srcInfoPoints = []
4340               }
4341             (Ident
4342                SrcSpanInfo
4343                  { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 74 1 74 5
4344                  , srcInfoPoints = []
4345                  }
4346                "test"))
4347          (UnGuardedRhs
4348             SrcSpanInfo
4349               { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 74 6 74 13
4350               , srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 74 6 74 7 ]
4351               }
4352             (App
4353                SrcSpanInfo
4354                  { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 74 8 74 13
4355                  , srcInfoPoints = []
4356                  }
4357                (Var
4358                   SrcSpanInfo
4359                     { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 74 8 74 11
4360                     , srcInfoPoints = []
4361                     }
4362                   (UnQual
4363                      SrcSpanInfo
4364                        { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 74 8 74 11
4365                        , srcInfoPoints = []
4366                        }
4367                      (Ident
4368                         SrcSpanInfo
4369                           { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 74 8 74 11
4370                           , srcInfoPoints = []
4371                           }
4372                         "foo")))
4373                (Con
4374                   SrcSpanInfo
4375                     { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 74 12 74 13
4376                     , srcInfoPoints = []
4377                     }
4378                   (UnQual
4379                      SrcSpanInfo
4380                        { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 74 12 74 13
4381                        , srcInfoPoints = []
4382                        }
4383                      (Ident
4384                         SrcSpanInfo
4385                           { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 74 12 74 13
4386                           , srcInfoPoints = []
4387                           }
4388                         "P")))))
4389          Nothing
4390      , PatBind
4391          SrcSpanInfo
4392            { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 75 1 75 18
4393            , srcInfoPoints = []
4394            }
4395          (PVar
4396             SrcSpanInfo
4397               { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 75 1 75 4
4398               , srcInfoPoints = []
4399               }
4400             (Ident
4401                SrcSpanInfo
4402                  { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 75 1 75 4
4403                  , srcInfoPoints = []
4404                  }
4405                "bar"))
4406          (UnGuardedRhs
4407             SrcSpanInfo
4408               { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 75 5 75 18
4409               , srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 75 5 75 6 ]
4410               }
4411             (App
4412                SrcSpanInfo
4413                  { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 75 7 75 18
4414                  , srcInfoPoints = []
4415                  }
4416                (App
4417                   SrcSpanInfo
4418                     { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 75 7 75 16
4419                     , srcInfoPoints = []
4420                     }
4421                   (Var
4422                      SrcSpanInfo
4423                        { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 75 7 75 10
4424                        , srcInfoPoints = []
4425                        }
4426                      (UnQual
4427                         SrcSpanInfo
4428                           { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 75 7 75 10
4429                           , srcInfoPoints = []
4430                           }
4431                         (Ident
4432                            SrcSpanInfo
4433                              { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 75 7 75 10
4434                              , srcInfoPoints = []
4435                              }
4436                            "foo")))
4437                   (TypeApp
4438                      SrcSpanInfo
4439                        { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 75 11 75 16
4440                        , srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 75 11 75 12 ]
4441                        }
4442                      (TyCon
4443                         SrcSpanInfo
4444                           { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 75 12 75 16
4445                           , srcInfoPoints = []
4446                           }
4447                         (UnQual
4448                            SrcSpanInfo
4449                              { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 75 12 75 16
4450                              , srcInfoPoints = []
4451                              }
4452                            (Ident
4453                               SrcSpanInfo
4454                                 { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 75 12 75 16
4455                                 , srcInfoPoints = []
4456                                 }
4457                               "Bool")))))
4458                (Con
4459                   SrcSpanInfo
4460                     { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 75 17 75 18
4461                     , srcInfoPoints = []
4462                     }
4463                   (UnQual
4464                      SrcSpanInfo
4465                        { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 75 17 75 18
4466                        , srcInfoPoints = []
4467                        }
4468                      (Ident
4469                         SrcSpanInfo
4470                           { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 75 17 75 18
4471                           , srcInfoPoints = []
4472                           }
4473                         "P")))))
4474          Nothing
4475      , TypeSig
4476          SrcSpanInfo
4477            { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 77 1 77 22
4478            , srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 77 5 77 7 ]
4479            }
4480          [ Ident
4481              SrcSpanInfo
4482                { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 77 1 77 4
4483                , srcInfoPoints = []
4484                }
4485              "too"
4486          ]
4487          (TyFun
4488             SrcSpanInfo
4489               { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 77 8 77 22
4490               , srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 77 16 77 18 ]
4491               }
4492             (TyApp
4493                SrcSpanInfo
4494                  { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 77 8 77 15
4495                  , srcInfoPoints = []
4496                  }
4497                (TyCon
4498                   SrcSpanInfo
4499                     { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 77 8 77 13
4500                     , srcInfoPoints = []
4501                     }
4502                   (UnQual
4503                      SrcSpanInfo
4504                        { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 77 8 77 13
4505                        , srcInfoPoints = []
4506                        }
4507                      (Ident
4508                         SrcSpanInfo
4509                           { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 77 8 77 13
4510                           , srcInfoPoints = []
4511                           }
4512                         "Three")))
4513                (TyVar
4514                   SrcSpanInfo
4515                     { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 77 14 77 15
4516                     , srcInfoPoints = []
4517                     }
4518                   (Ident
4519                      SrcSpanInfo
4520                        { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 77 14 77 15
4521                        , srcInfoPoints = []
4522                        }
4523                      "a")))
4524             (TyCon
4525                SrcSpanInfo
4526                  { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 77 19 77 22
4527                  , srcInfoPoints = []
4528                  }
4529                (UnQual
4530                   SrcSpanInfo
4531                     { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 77 19 77 22
4532                     , srcInfoPoints = []
4533                     }
4534                   (Ident
4535                      SrcSpanInfo
4536                        { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 77 19 77 22
4537                        , srcInfoPoints = []
4538                        }
4539                      "Int"))))
4540      , FunBind
4541          SrcSpanInfo
4542            { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 78 1 78 10
4543            , srcInfoPoints = []
4544            }
4545          [ Match
4546              SrcSpanInfo
4547                { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 78 1 78 10
4548                , srcInfoPoints = []
4549                }
4550              (Ident
4551                 SrcSpanInfo
4552                   { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 78 1 78 4
4553                   , srcInfoPoints = []
4554                   }
4555                 "too")
4556              [ PWildCard
4557                  SrcSpanInfo
4558                    { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 78 5 78 6
4559                    , srcInfoPoints = []
4560                    }
4561              ]
4562              (UnGuardedRhs
4563                 SrcSpanInfo
4564                   { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 78 7 78 10
4565                   , srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 78 7 78 8 ]
4566                   }
4567                 (Lit
4568                    SrcSpanInfo
4569                      { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 78 9 78 10
4570                      , srcInfoPoints = []
4571                      }
4572                    (Int
4573                       SrcSpanInfo
4574                         { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 78 9 78 10
4575                         , srcInfoPoints = []
4576                         }
4577                       3
4578                       "3")))
4579              Nothing
4580          ]
4581      , PatBind
4582          SrcSpanInfo
4583            { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 80 1 80 18
4584            , srcInfoPoints = []
4585            }
4586          (PVar
4587             SrcSpanInfo
4588               { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 80 1 80 10
4589               , srcInfoPoints = []
4590               }
4591             (Ident
4592                SrcSpanInfo
4593                  { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 80 1 80 10
4594                  , srcInfoPoints = []
4595                  }
4596                "threeBase"))
4597          (UnGuardedRhs
4598             SrcSpanInfo
4599               { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 80 11 80 18
4600               , srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 80 11 80 12 ]
4601               }
4602             (App
4603                SrcSpanInfo
4604                  { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 80 13 80 18
4605                  , srcInfoPoints = []
4606                  }
4607                (Var
4608                   SrcSpanInfo
4609                     { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 80 13 80 16
4610                     , srcInfoPoints = []
4611                     }
4612                   (UnQual
4613                      SrcSpanInfo
4614                        { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 80 13 80 16
4615                        , srcInfoPoints = []
4616                        }
4617                      (Ident
4618                         SrcSpanInfo
4619                           { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 80 13 80 16
4620                           , srcInfoPoints = []
4621                           }
4622                         "too")))
4623                (Con
4624                   SrcSpanInfo
4625                     { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 80 17 80 18
4626                     , srcInfoPoints = []
4627                     }
4628                   (UnQual
4629                      SrcSpanInfo
4630                        { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 80 17 80 18
4631                        , srcInfoPoints = []
4632                        }
4633                      (Ident
4634                         SrcSpanInfo
4635                           { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 80 17 80 18
4636                           , srcInfoPoints = []
4637                           }
4638                         "T")))))
4639          Nothing
4640      , PatBind
4641          SrcSpanInfo
4642            { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 81 1 81 24
4643            , srcInfoPoints = []
4644            }
4645          (PVar
4646             SrcSpanInfo
4647               { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 81 1 81 8
4648               , srcInfoPoints = []
4649               }
4650             (Ident
4651                SrcSpanInfo
4652                  { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 81 1 81 8
4653                  , srcInfoPoints = []
4654                  }
4655                "threeOk"))
4656          (UnGuardedRhs
4657             SrcSpanInfo
4658               { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 81 9 81 24
4659               , srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 81 9 81 10 ]
4660               }
4661             (App
4662                SrcSpanInfo
4663                  { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 81 11 81 24
4664                  , srcInfoPoints = []
4665                  }
4666                (App
4667                   SrcSpanInfo
4668                     { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 81 11 81 22
4669                     , srcInfoPoints = []
4670                     }
4671                   (Var
4672                      SrcSpanInfo
4673                        { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 81 11 81 14
4674                        , srcInfoPoints = []
4675                        }
4676                      (UnQual
4677                         SrcSpanInfo
4678                           { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 81 11 81 14
4679                           , srcInfoPoints = []
4680                           }
4681                         (Ident
4682                            SrcSpanInfo
4683                              { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 81 11 81 14
4684                              , srcInfoPoints = []
4685                              }
4686                            "too")))
4687                   (TypeApp
4688                      SrcSpanInfo
4689                        { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 81 15 81 22
4690                        , srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 81 15 81 16 ]
4691                        }
4692                      (TyCon
4693                         SrcSpanInfo
4694                           { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 81 16 81 22
4695                           , srcInfoPoints = []
4696                           }
4697                         (UnQual
4698                            SrcSpanInfo
4699                              { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 81 16 81 22
4700                              , srcInfoPoints = []
4701                              }
4702                            (Ident
4703                               SrcSpanInfo
4704                                 { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 81 16 81 22
4705                                 , srcInfoPoints = []
4706                                 }
4707                               "Either")))))
4708                (Con
4709                   SrcSpanInfo
4710                     { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 81 23 81 24
4711                     , srcInfoPoints = []
4712                     }
4713                   (UnQual
4714                      SrcSpanInfo
4715                        { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 81 23 81 24
4716                        , srcInfoPoints = []
4717                        }
4718                      (Ident
4719                         SrcSpanInfo
4720                           { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 81 23 81 24
4721                           , srcInfoPoints = []
4722                           }
4723                         "T")))))
4724          Nothing
4725      , PatBind
4726          SrcSpanInfo
4727            { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 83 1 83 20
4728            , srcInfoPoints = []
4729            }
4730          (PVar
4731             SrcSpanInfo
4732               { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 83 1 83 5
4733               , srcInfoPoints = []
4734               }
4735             (Ident
4736                SrcSpanInfo
4737                  { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 83 1 83 5
4738                  , srcInfoPoints = []
4739                  }
4740                "blah"))
4741          (UnGuardedRhs
4742             SrcSpanInfo
4743               { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 83 6 83 20
4744               , srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 83 6 83 7 ]
4745               }
4746             (App
4747                SrcSpanInfo
4748                  { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 83 8 83 20
4749                  , srcInfoPoints = []
4750                  }
4751                (Con
4752                   SrcSpanInfo
4753                     { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 83 8 83 15
4754                     , srcInfoPoints = []
4755                     }
4756                   (UnQual
4757                      SrcSpanInfo
4758                        { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 83 8 83 15
4759                        , srcInfoPoints = []
4760                        }
4761                      (Ident
4762                         SrcSpanInfo
4763                           { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 83 8 83 15
4764                           , srcInfoPoints = []
4765                           }
4766                         "Nothing")))
4767                (TypeApp
4768                   SrcSpanInfo
4769                     { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 83 16 83 20
4770                     , srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 83 16 83 17 ]
4771                     }
4772                   (TyCon
4773                      SrcSpanInfo
4774                        { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 83 17 83 20
4775                        , srcInfoPoints = []
4776                        }
4777                      (UnQual
4778                         SrcSpanInfo
4779                           { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 83 17 83 20
4780                           , srcInfoPoints = []
4781                           }
4782                         (Ident
4783                            SrcSpanInfo
4784                              { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 83 17 83 20
4785                              , srcInfoPoints = []
4786                              }
4787                            "Int"))))))
4788          Nothing
4789      , DataDecl
4790          SrcSpanInfo
4791            { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 85 1 85 61
4792            , srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 85 11 85 12 ]
4793            }
4794          (NewType
4795             SrcSpanInfo
4796               { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 85 1 85 8
4797               , srcInfoPoints = []
4798               })
4799          Nothing
4800          (DHead
4801             SrcSpanInfo
4802               { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 85 9 85 10
4803               , srcInfoPoints = []
4804               }
4805             (Ident
4806                SrcSpanInfo
4807                  { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 85 9 85 10
4808                  , srcInfoPoints = []
4809                  }
4810                "N"))
4811          [ QualConDecl
4812              SrcSpanInfo
4813                { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 85 13 85 61
4814                , srcInfoPoints =
4815                    [ SrcSpan "tests/examples/Vta1.hs" 85 17 85 18
4816                    , SrcSpan "tests/examples/Vta1.hs" 85 60 85 61
4817                    ]
4818                }
4819              Nothing
4820              Nothing
4821              (RecDecl
4822                 SrcSpanInfo
4823                   { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 85 13 85 61
4824                   , srcInfoPoints =
4825                       [ SrcSpan "tests/examples/Vta1.hs" 85 17 85 18
4826                       , SrcSpan "tests/examples/Vta1.hs" 85 60 85 61
4827                       ]
4828                   }
4829                 (Ident
4830                    SrcSpanInfo
4831                      { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 85 13 85 16
4832                      , srcInfoPoints = []
4833                      }
4834                    "MkN")
4835                 [ FieldDecl
4836                     SrcSpanInfo
4837                       { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 85 19 85 59
4838                       , srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 85 25 85 27 ]
4839                       }
4840                     [ Ident
4841                         SrcSpanInfo
4842                           { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 85 19 85 24
4843                           , srcInfoPoints = []
4844                           }
4845                         "unMkN"
4846                     ]
4847                     (TyForall
4848                        SrcSpanInfo
4849                          { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 85 28 85 59
4850                          , srcInfoPoints =
4851                              [ SrcSpan "tests/examples/Vta1.hs" 85 28 85 34
4852                              , SrcSpan "tests/examples/Vta1.hs" 85 36 85 37
4853                              ]
4854                          }
4855                        (Just
4856                           [ UnkindedVar
4857                               SrcSpanInfo
4858                                 { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 85 35 85 36
4859                                 , srcInfoPoints = []
4860                                 }
4861                               (Ident
4862                                  SrcSpanInfo
4863                                    { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 85 35 85 36
4864                                    , srcInfoPoints = []
4865                                    }
4866                                  "a")
4867                           ])
4868                        (Just
4869                           (CxSingle
4870                              SrcSpanInfo
4871                                { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 85 38 85 47
4872                                , srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 85 45 85 47 ]
4873                                }
4874                              (TypeA
4875                                 SrcSpanInfo
4876                                   { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 85 38 85 47
4877                                   , srcInfoPoints =
4878                                       [ SrcSpan "tests/examples/Vta1.hs" 85 45 85 47 ]
4879                                   }
4880                                 (TyApp
4881                                    SrcSpanInfo
4882                                      { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 85 38 85 47
4883                                      , srcInfoPoints =
4884                                          [ SrcSpan "tests/examples/Vta1.hs" 85 45 85 47 ]
4885                                      }
4886                                    (TyCon
4887                                       SrcSpanInfo
4888                                         { srcInfoSpan =
4889                                             SrcSpan "tests/examples/Vta1.hs" 85 38 85 47
4890                                         , srcInfoPoints =
4891                                             [ SrcSpan "tests/examples/Vta1.hs" 85 45 85 47 ]
4892                                         }
4893                                       (UnQual
4894                                          SrcSpanInfo
4895                                            { srcInfoSpan =
4896                                                SrcSpan "tests/examples/Vta1.hs" 85 38 85 42
4897                                            , srcInfoPoints = []
4898                                            }
4899                                          (Ident
4900                                             SrcSpanInfo
4901                                               { srcInfoSpan =
4902                                                   SrcSpan "tests/examples/Vta1.hs" 85 38 85 42
4903                                               , srcInfoPoints = []
4904                                               }
4905                                             "Show")))
4906                                    (TyVar
4907                                       SrcSpanInfo
4908                                         { srcInfoSpan =
4909                                             SrcSpan "tests/examples/Vta1.hs" 85 43 85 44
4910                                         , srcInfoPoints = []
4911                                         }
4912                                       (Ident
4913                                          SrcSpanInfo
4914                                            { srcInfoSpan =
4915                                                SrcSpan "tests/examples/Vta1.hs" 85 43 85 44
4916                                            , srcInfoPoints = []
4917                                            }
4918                                          "a"))))))
4919                        (TyFun
4920                           SrcSpanInfo
4921                             { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 85 48 85 59
4922                             , srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 85 50 85 52 ]
4923                             }
4924                           (TyVar
4925                              SrcSpanInfo
4926                                { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 85 48 85 49
4927                                , srcInfoPoints = []
4928                                }
4929                              (Ident
4930                                 SrcSpanInfo
4931                                   { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 85 48 85 49
4932                                   , srcInfoPoints = []
4933                                   }
4934                                 "a"))
4935                           (TyCon
4936                              SrcSpanInfo
4937                                { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 85 53 85 59
4938                                , srcInfoPoints = []
4939                                }
4940                              (UnQual
4941                                 SrcSpanInfo
4942                                   { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 85 53 85 59
4943                                   , srcInfoPoints = []
4944                                   }
4945                                 (Ident
4946                                    SrcSpanInfo
4947                                      { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 85 53 85 59
4948                                      , srcInfoPoints = []
4949                                      }
4950                                    "String")))))
4951                 ])
4952          ]
4953          []
4954      , PatBind
4955          SrcSpanInfo
4956            { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 87 1 87 13
4957            , srcInfoPoints = []
4958            }
4959          (PVar
4960             SrcSpanInfo
4961               { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 87 1 87 2
4962               , srcInfoPoints = []
4963               }
4964             (Ident
4965                SrcSpanInfo
4966                  { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 87 1 87 2
4967                  , srcInfoPoints = []
4968                  }
4969                "n"))
4970          (UnGuardedRhs
4971             SrcSpanInfo
4972               { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 87 3 87 13
4973               , srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 87 3 87 4 ]
4974               }
4975             (App
4976                SrcSpanInfo
4977                  { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 87 5 87 13
4978                  , srcInfoPoints = []
4979                  }
4980                (Con
4981                   SrcSpanInfo
4982                     { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 87 5 87 8
4983                     , srcInfoPoints = []
4984                     }
4985                   (UnQual
4986                      SrcSpanInfo
4987                        { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 87 5 87 8
4988                        , srcInfoPoints = []
4989                        }
4990                      (Ident
4991                         SrcSpanInfo
4992                           { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 87 5 87 8
4993                           , srcInfoPoints = []
4994                           }
4995                         "MkN")))
4996                (Var
4997                   SrcSpanInfo
4998                     { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 87 9 87 13
4999                     , srcInfoPoints = []
5000                     }
5001                   (UnQual
5002                      SrcSpanInfo
5003                        { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 87 9 87 13
5004                        , srcInfoPoints = []
5005                        }
5006                      (Ident
5007                         SrcSpanInfo
5008                           { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 87 9 87 13
5009                           , srcInfoPoints = []
5010                           }
5011                         "show")))))
5012          Nothing
5013      , PatBind
5014          SrcSpanInfo
5015            { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 89 1 89 20
5016            , srcInfoPoints = []
5017            }
5018          (PVar
5019             SrcSpanInfo
5020               { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 89 1 89 4
5021               , srcInfoPoints = []
5022               }
5023             (Ident
5024                SrcSpanInfo
5025                  { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 89 1 89 4
5026                  , srcInfoPoints = []
5027                  }
5028                "boo"))
5029          (UnGuardedRhs
5030             SrcSpanInfo
5031               { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 89 5 89 20
5032               , srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 89 5 89 6 ]
5033               }
5034             (App
5035                SrcSpanInfo
5036                  { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 89 7 89 20
5037                  , srcInfoPoints = []
5038                  }
5039                (App
5040                   SrcSpanInfo
5041                     { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 89 7 89 14
5042                     , srcInfoPoints = []
5043                     }
5044                   (Var
5045                      SrcSpanInfo
5046                        { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 89 7 89 12
5047                        , srcInfoPoints = []
5048                        }
5049                      (UnQual
5050                         SrcSpanInfo
5051                           { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 89 7 89 12
5052                           , srcInfoPoints = []
5053                           }
5054                         (Ident
5055                            SrcSpanInfo
5056                              { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 89 7 89 12
5057                              , srcInfoPoints = []
5058                              }
5059                            "unMkN")))
5060                   (Var
5061                      SrcSpanInfo
5062                        { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 89 13 89 14
5063                        , srcInfoPoints = []
5064                        }
5065                      (UnQual
5066                         SrcSpanInfo
5067                           { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 89 13 89 14
5068                           , srcInfoPoints = []
5069                           }
5070                         (Ident
5071                            SrcSpanInfo
5072                              { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 89 13 89 14
5073                              , srcInfoPoints = []
5074                              }
5075                            "n"))))
5076                (TypeApp
5077                   SrcSpanInfo
5078                     { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 89 15 89 20
5079                     , srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 89 15 89 16 ]
5080                     }
5081                   (TyCon
5082                      SrcSpanInfo
5083                        { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 89 16 89 20
5084                        , srcInfoPoints = []
5085                        }
5086                      (UnQual
5087                         SrcSpanInfo
5088                           { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 89 16 89 20
5089                           , srcInfoPoints = []
5090                           }
5091                         (Ident
5092                            SrcSpanInfo
5093                              { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 89 16 89 20
5094                              , srcInfoPoints = []
5095                              }
5096                            "Bool"))))))
5097          Nothing
5098      , TypeSig
5099          SrcSpanInfo
5100            { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 91 1 91 47
5101            , srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 91 6 91 8 ]
5102            }
5103          [ Ident
5104              SrcSpanInfo
5105                { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 91 1 91 5
5106                , srcInfoPoints = []
5107                }
5108              "boo2"
5109          ]
5110          (TyForall
5111             SrcSpanInfo
5112               { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 91 9 91 47
5113               , srcInfoPoints =
5114                   [ SrcSpan "tests/examples/Vta1.hs" 91 9 91 15
5115                   , SrcSpan "tests/examples/Vta1.hs" 91 30 91 31
5116                   ]
5117               }
5118             (Just
5119                [ KindedVar
5120                    SrcSpanInfo
5121                      { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 91 16 91 29
5122                      , srcInfoPoints =
5123                          [ SrcSpan "tests/examples/Vta1.hs" 91 16 91 17
5124                          , SrcSpan "tests/examples/Vta1.hs" 91 19 91 21
5125                          , SrcSpan "tests/examples/Vta1.hs" 91 28 91 29
5126                          ]
5127                      }
5128                    (Ident
5129                       SrcSpanInfo
5130                         { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 91 17 91 18
5131                         , srcInfoPoints = []
5132                         }
5133                       "a")
5134                    (TyFun
5135                       SrcSpanInfo
5136                         { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 91 22 91 28
5137                         , srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 91 24 91 26 ]
5138                         }
5139                       (TyStar
5140                          SrcSpanInfo
5141                            { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 91 22 91 23
5142                            , srcInfoPoints = []
5143                            })
5144                       (TyStar
5145                          SrcSpanInfo
5146                            { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 91 27 91 28
5147                            , srcInfoPoints = []
5148                            }))
5149                ])
5150             Nothing
5151             (TyFun
5152                SrcSpanInfo
5153                  { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 91 32 91 47
5154                  , srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 91 40 91 42 ]
5155                  }
5156                (TyApp
5157                   SrcSpanInfo
5158                     { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 91 32 91 39
5159                     , srcInfoPoints = []
5160                     }
5161                   (TyCon
5162                      SrcSpanInfo
5163                        { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 91 32 91 37
5164                        , srcInfoPoints = []
5165                        }
5166                      (UnQual
5167                         SrcSpanInfo
5168                           { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 91 32 91 37
5169                           , srcInfoPoints = []
5170                           }
5171                         (Ident
5172                            SrcSpanInfo
5173                              { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 91 32 91 37
5174                              , srcInfoPoints = []
5175                              }
5176                            "Proxy")))
5177                   (TyVar
5178                      SrcSpanInfo
5179                        { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 91 38 91 39
5180                        , srcInfoPoints = []
5181                        }
5182                      (Ident
5183                         SrcSpanInfo
5184                           { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 91 38 91 39
5185                           , srcInfoPoints = []
5186                           }
5187                         "a")))
5188                (TyCon
5189                   SrcSpanInfo
5190                     { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 91 43 91 47
5191                     , srcInfoPoints = []
5192                     }
5193                   (UnQual
5194                      SrcSpanInfo
5195                        { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 91 43 91 47
5196                        , srcInfoPoints = []
5197                        }
5198                      (Ident
5199                         SrcSpanInfo
5200                           { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 91 43 91 47
5201                           , srcInfoPoints = []
5202                           }
5203                         "Bool")))))
5204      , FunBind
5205          SrcSpanInfo
5206            { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 92 1 92 15
5207            , srcInfoPoints = []
5208            }
5209          [ Match
5210              SrcSpanInfo
5211                { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 92 1 92 15
5212                , srcInfoPoints = []
5213                }
5214              (Ident
5215                 SrcSpanInfo
5216                   { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 92 1 92 5
5217                   , srcInfoPoints = []
5218                   }
5219                 "boo2")
5220              [ PWildCard
5221                  SrcSpanInfo
5222                    { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 92 6 92 7
5223                    , srcInfoPoints = []
5224                    }
5225              ]
5226              (UnGuardedRhs
5227                 SrcSpanInfo
5228                   { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 92 8 92 15
5229                   , srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 92 8 92 9 ]
5230                   }
5231                 (Con
5232                    SrcSpanInfo
5233                      { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 92 10 92 15
5234                      , srcInfoPoints = []
5235                      }
5236                    (UnQual
5237                       SrcSpanInfo
5238                         { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 92 10 92 15
5239                         , srcInfoPoints = []
5240                         }
5241                       (Ident
5242                          SrcSpanInfo
5243                            { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 92 10 92 15
5244                            , srcInfoPoints = []
5245                            }
5246                          "False"))))
5247              Nothing
5248          ]
5249      , PatBind
5250          SrcSpanInfo
5251            { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 94 1 94 14
5252            , srcInfoPoints = []
5253            }
5254          (PVar
5255             SrcSpanInfo
5256               { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 94 1 94 5
5257               , srcInfoPoints = []
5258               }
5259             (Ident
5260                SrcSpanInfo
5261                  { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 94 1 94 5
5262                  , srcInfoPoints = []
5263                  }
5264                "base"))
5265          (UnGuardedRhs
5266             SrcSpanInfo
5267               { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 94 6 94 14
5268               , srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 94 6 94 7 ]
5269               }
5270             (App
5271                SrcSpanInfo
5272                  { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 94 8 94 14
5273                  , srcInfoPoints = []
5274                  }
5275                (Var
5276                   SrcSpanInfo
5277                     { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 94 8 94 12
5278                     , srcInfoPoints = []
5279                     }
5280                   (UnQual
5281                      SrcSpanInfo
5282                        { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 94 8 94 12
5283                        , srcInfoPoints = []
5284                        }
5285                      (Ident
5286                         SrcSpanInfo
5287                           { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 94 8 94 12
5288                           , srcInfoPoints = []
5289                           }
5290                         "boo2")))
5291                (Con
5292                   SrcSpanInfo
5293                     { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 94 13 94 14
5294                     , srcInfoPoints = []
5295                     }
5296                   (UnQual
5297                      SrcSpanInfo
5298                        { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 94 13 94 14
5299                        , srcInfoPoints = []
5300                        }
5301                      (Ident
5302                         SrcSpanInfo
5303                           { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 94 13 94 14
5304                           , srcInfoPoints = []
5305                           }
5306                         "P")))))
5307          Nothing
5308      , PatBind
5309          SrcSpanInfo
5310            { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 95 1 95 20
5311            , srcInfoPoints = []
5312            }
5313          (PVar
5314             SrcSpanInfo
5315               { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 95 1 95 5
5316               , srcInfoPoints = []
5317               }
5318             (Ident
5319                SrcSpanInfo
5320                  { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 95 1 95 5
5321                  , srcInfoPoints = []
5322                  }
5323                "bar'"))
5324          (UnGuardedRhs
5325             SrcSpanInfo
5326               { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 95 5 95 20
5327               , srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 95 5 95 6 ]
5328               }
5329             (App
5330                SrcSpanInfo
5331                  { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 95 7 95 20
5332                  , srcInfoPoints = []
5333                  }
5334                (App
5335                   SrcSpanInfo
5336                     { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 95 7 95 18
5337                     , srcInfoPoints = []
5338                     }
5339                   (Var
5340                      SrcSpanInfo
5341                        { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 95 7 95 11
5342                        , srcInfoPoints = []
5343                        }
5344                      (UnQual
5345                         SrcSpanInfo
5346                           { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 95 7 95 11
5347                           , srcInfoPoints = []
5348                           }
5349                         (Ident
5350                            SrcSpanInfo
5351                              { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 95 7 95 11
5352                              , srcInfoPoints = []
5353                              }
5354                            "boo2")))
5355                   (TypeApp
5356                      SrcSpanInfo
5357                        { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 95 12 95 18
5358                        , srcInfoPoints = [ SrcSpan "tests/examples/Vta1.hs" 95 12 95 13 ]
5359                        }
5360                      (TyCon
5361                         SrcSpanInfo
5362                           { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 95 13 95 18
5363                           , srcInfoPoints = []
5364                           }
5365                         (UnQual
5366                            SrcSpanInfo
5367                              { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 95 13 95 18
5368                              , srcInfoPoints = []
5369                              }
5370                            (Ident
5371                               SrcSpanInfo
5372                                 { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 95 13 95 18
5373                                 , srcInfoPoints = []
5374                                 }
5375                               "Maybe")))))
5376                (Con
5377                   SrcSpanInfo
5378                     { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 95 19 95 20
5379                     , srcInfoPoints = []
5380                     }
5381                   (UnQual
5382                      SrcSpanInfo
5383                        { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 95 19 95 20
5384                        , srcInfoPoints = []
5385                        }
5386                      (Ident
5387                         SrcSpanInfo
5388                           { srcInfoSpan = SrcSpan "tests/examples/Vta1.hs" 95 19 95 20
5389                           , srcInfoPoints = []
5390                           }
5391                         "P")))))
5392          Nothing
5393      ]
5394  , [ Comment
5395        False
5396        (SrcSpan "tests/examples/Vta1.hs" 4 1 4 40)
5397        " tests about visible type application"
5398    , Comment False (SrcSpan "tests/examples/Vta1.hs" 18 44 18 46) ""
5399    , Comment
5400        False
5401        (SrcSpan "tests/examples/Vta1.hs" 19 1 19 29)
5402        " (False, 7) :: (Bool, Int)"
5403    , Comment
5404        False
5405        (SrcSpan "tests/examples/Vta1.hs" 21 36 21 52)
5406        " \"3\" :: String"
5407    , Comment
5408        False
5409        (SrcSpan "tests/examples/Vta1.hs" 22 40 22 56)
5410        " \"5\" :: String"
5411    , Comment
5412        False
5413        (SrcSpan "tests/examples/Vta1.hs" 23 45 23 61)
5414        " \"7\" :: String"
5415    , Comment
5416        False
5417        (SrcSpan "tests/examples/Vta1.hs" 29 40 29 67)
5418        " (5, True) :: (Int, Bool)"
5419    , Comment
5420        False
5421        (SrcSpan "tests/examples/Vta1.hs" 30 36 30 68)
5422        " (1, \"hello\") :: (Int, String)"
5423    , Comment
5424        False
5425        (SrcSpan "tests/examples/Vta1.hs" 31 36 31 51)
5426        " [7] :: [Int]"
5427    , Comment
5428        False
5429        (SrcSpan "tests/examples/Vta1.hs" 62 25 62 77)
5430        " This expands to P (kind variable) (type variable)"
5431    , Comment
5432        False (SrcSpan "tests/examples/Vta1.hs" 75 19 75 33) " should work"
5433    , Comment
5434        False (SrcSpan "tests/examples/Vta1.hs" 95 21 95 35) " should work"
5435    ]
5436  )
5437