1ParseOk
2  ( Module
3      SrcSpanInfo
4        { srcInfoSpan = SrcSpan "tests/examples/EmptyContext.hs" 1 1 2 1
5        , srcInfoPoints =
6            [ SrcSpan "tests/examples/EmptyContext.hs" 1 1 1 1
7            , SrcSpan "tests/examples/EmptyContext.hs" 1 1 1 1
8            , SrcSpan "tests/examples/EmptyContext.hs" 1 1 1 1
9            , SrcSpan "tests/examples/EmptyContext.hs" 2 1 2 1
10            , SrcSpan "tests/examples/EmptyContext.hs" 2 1 2 1
11            ]
12        }
13      Nothing
14      []
15      []
16      [ TypeSig
17          SrcSpanInfo
18            { srcInfoSpan = SrcSpan "tests/examples/EmptyContext.hs" 1 1 1 23
19            , srcInfoPoints =
20                [ SrcSpan "tests/examples/EmptyContext.hs" 1 11 1 13 ]
21            }
22          [ Ident
23              SrcSpanInfo
24                { srcInfoSpan = SrcSpan "tests/examples/EmptyContext.hs" 1 1 1 10
25                , srcInfoPoints = []
26                }
27              "happyThen"
28          ]
29          (TyForall
30             SrcSpanInfo
31               { srcInfoSpan = SrcSpan "tests/examples/EmptyContext.hs" 1 14 1 23
32               , srcInfoPoints = []
33               }
34             Nothing
35             (Just
36                (CxEmpty
37                   SrcSpanInfo
38                     { srcInfoSpan = SrcSpan "tests/examples/EmptyContext.hs" 1 14 1 19
39                     , srcInfoPoints =
40                         [ SrcSpan "tests/examples/EmptyContext.hs" 1 14 1 15
41                         , SrcSpan "tests/examples/EmptyContext.hs" 1 15 1 16
42                         , SrcSpan "tests/examples/EmptyContext.hs" 1 17 1 19
43                         ]
44                     }))
45             (TyApp
46                SrcSpanInfo
47                  { srcInfoSpan = SrcSpan "tests/examples/EmptyContext.hs" 1 20 1 23
48                  , srcInfoPoints = []
49                  }
50                (TyCon
51                   SrcSpanInfo
52                     { srcInfoSpan = SrcSpan "tests/examples/EmptyContext.hs" 1 20 1 21
53                     , srcInfoPoints = []
54                     }
55                   (UnQual
56                      SrcSpanInfo
57                        { srcInfoSpan = SrcSpan "tests/examples/EmptyContext.hs" 1 20 1 21
58                        , srcInfoPoints = []
59                        }
60                      (Ident
61                         SrcSpanInfo
62                           { srcInfoSpan = SrcSpan "tests/examples/EmptyContext.hs" 1 20 1 21
63                           , srcInfoPoints = []
64                           }
65                         "P")))
66                (TyVar
67                   SrcSpanInfo
68                     { srcInfoSpan = SrcSpan "tests/examples/EmptyContext.hs" 1 22 1 23
69                     , srcInfoPoints = []
70                     }
71                   (Ident
72                      SrcSpanInfo
73                        { srcInfoSpan = SrcSpan "tests/examples/EmptyContext.hs" 1 22 1 23
74                        , srcInfoPoints = []
75                        }
76                      "a"))))
77      ]
78  , []
79  )
80