1ParseOk
2  ( Module
3      SrcSpanInfo
4        { srcInfoSpan = SrcSpan "tests/examples/RCategory3.hs" 1 1 6 1
5        , srcInfoPoints =
6            [ SrcSpan "tests/examples/RCategory3.hs" 1 1 1 1
7            , SrcSpan "tests/examples/RCategory3.hs" 3 1 3 1
8            , SrcSpan "tests/examples/RCategory3.hs" 3 1 3 1
9            , SrcSpan "tests/examples/RCategory3.hs" 3 1 3 1
10            , SrcSpan "tests/examples/RCategory3.hs" 6 1 6 1
11            , SrcSpan "tests/examples/RCategory3.hs" 6 1 6 1
12            ]
13        }
14      Nothing
15      [ LanguagePragma
16          SrcSpanInfo
17            { srcInfoSpan = SrcSpan "tests/examples/RCategory3.hs" 1 1 1 47
18            , srcInfoPoints =
19                [ SrcSpan "tests/examples/RCategory3.hs" 1 1 1 13
20                , SrcSpan "tests/examples/RCategory3.hs" 1 26 1 27
21                , SrcSpan "tests/examples/RCategory3.hs" 1 44 1 47
22                ]
23            }
24          [ Ident
25              SrcSpanInfo
26                { srcInfoSpan = SrcSpan "tests/examples/RCategory3.hs" 1 14 1 26
27                , srcInfoPoints = []
28                }
29              "TypeFamilies"
30          , Ident
31              SrcSpanInfo
32                { srcInfoSpan = SrcSpan "tests/examples/RCategory3.hs" 1 28 1 43
33                , srcInfoPoints = []
34                }
35              "ConstraintKinds"
36          ]
37      ]
38      []
39      [ InstDecl
40          SrcSpanInfo
41            { srcInfoSpan = SrcSpan "tests/examples/RCategory3.hs" 3 1 6 0
42            , srcInfoPoints =
43                [ SrcSpan "tests/examples/RCategory3.hs" 3 1 3 9
44                , SrcSpan "tests/examples/RCategory3.hs" 3 25 3 30
45                , SrcSpan "tests/examples/RCategory3.hs" 4 3 4 3
46                , SrcSpan "tests/examples/RCategory3.hs" 6 1 6 0
47                ]
48            }
49          Nothing
50          (IRule
51             SrcSpanInfo
52               { srcInfoSpan = SrcSpan "tests/examples/RCategory3.hs" 3 10 3 24
53               , srcInfoPoints = []
54               }
55             Nothing
56             Nothing
57             (IHApp
58                SrcSpanInfo
59                  { srcInfoSpan = SrcSpan "tests/examples/RCategory3.hs" 3 10 3 24
60                  , srcInfoPoints = []
61                  }
62                (IHCon
63                   SrcSpanInfo
64                     { srcInfoSpan = SrcSpan "tests/examples/RCategory3.hs" 3 10 3 19
65                     , srcInfoPoints = []
66                     }
67                   (UnQual
68                      SrcSpanInfo
69                        { srcInfoSpan = SrcSpan "tests/examples/RCategory3.hs" 3 10 3 19
70                        , srcInfoPoints = []
71                        }
72                      (Ident
73                         SrcSpanInfo
74                           { srcInfoSpan = SrcSpan "tests/examples/RCategory3.hs" 3 10 3 19
75                           , srcInfoPoints = []
76                           }
77                         "RCategory")))
78                (TyCon
79                   SrcSpanInfo
80                     { srcInfoSpan = SrcSpan "tests/examples/RCategory3.hs" 3 20 3 24
81                     , srcInfoPoints =
82                         [ SrcSpan "tests/examples/RCategory3.hs" 3 20 3 21
83                         , SrcSpan "tests/examples/RCategory3.hs" 3 21 3 23
84                         , SrcSpan "tests/examples/RCategory3.hs" 3 23 3 24
85                         ]
86                     }
87                   (Special
88                      SrcSpanInfo
89                        { srcInfoSpan = SrcSpan "tests/examples/RCategory3.hs" 3 20 3 24
90                        , srcInfoPoints =
91                            [ SrcSpan "tests/examples/RCategory3.hs" 3 20 3 21
92                            , SrcSpan "tests/examples/RCategory3.hs" 3 21 3 23
93                            , SrcSpan "tests/examples/RCategory3.hs" 3 23 3 24
94                            ]
95                        }
96                      (FunCon
97                         SrcSpanInfo
98                           { srcInfoSpan = SrcSpan "tests/examples/RCategory3.hs" 3 20 3 24
99                           , srcInfoPoints =
100                               [ SrcSpan "tests/examples/RCategory3.hs" 3 20 3 21
101                               , SrcSpan "tests/examples/RCategory3.hs" 3 21 3 23
102                               , SrcSpan "tests/examples/RCategory3.hs" 3 23 3 24
103                               ]
104                           })))))
105          (Just
106             [ InsType
107                 SrcSpanInfo
108                   { srcInfoSpan = SrcSpan "tests/examples/RCategory3.hs" 4 3 4 35
109                   , srcInfoPoints =
110                       [ SrcSpan "tests/examples/RCategory3.hs" 4 3 4 7
111                       , SrcSpan "tests/examples/RCategory3.hs" 4 31 4 32
112                       ]
113                   }
114                 (TyApp
115                    SrcSpanInfo
116                      { srcInfoSpan = SrcSpan "tests/examples/RCategory3.hs" 4 8 4 30
117                      , srcInfoPoints = []
118                      }
119                    (TyApp
120                       SrcSpanInfo
121                         { srcInfoSpan = SrcSpan "tests/examples/RCategory3.hs" 4 8 4 28
122                         , srcInfoPoints = []
123                         }
124                       (TyApp
125                          SrcSpanInfo
126                            { srcInfoSpan = SrcSpan "tests/examples/RCategory3.hs" 4 8 4 26
127                            , srcInfoPoints = []
128                            }
129                          (TyCon
130                             SrcSpanInfo
131                               { srcInfoSpan = SrcSpan "tests/examples/RCategory3.hs" 4 8 4 21
132                               , srcInfoPoints = []
133                               }
134                             (UnQual
135                                SrcSpanInfo
136                                  { srcInfoSpan = SrcSpan "tests/examples/RCategory3.hs" 4 8 4 21
137                                  , srcInfoPoints = []
138                                  }
139                                (Ident
140                                   SrcSpanInfo
141                                     { srcInfoSpan = SrcSpan "tests/examples/RCategory3.hs" 4 8 4 21
142                                     , srcInfoPoints = []
143                                     }
144                                   "RCategoryCtxt")))
145                          (TyCon
146                             SrcSpanInfo
147                               { srcInfoSpan = SrcSpan "tests/examples/RCategory3.hs" 4 22 4 26
148                               , srcInfoPoints =
149                                   [ SrcSpan "tests/examples/RCategory3.hs" 4 22 4 23
150                                   , SrcSpan "tests/examples/RCategory3.hs" 4 23 4 25
151                                   , SrcSpan "tests/examples/RCategory3.hs" 4 25 4 26
152                                   ]
153                               }
154                             (Special
155                                SrcSpanInfo
156                                  { srcInfoSpan = SrcSpan "tests/examples/RCategory3.hs" 4 22 4 26
157                                  , srcInfoPoints =
158                                      [ SrcSpan "tests/examples/RCategory3.hs" 4 22 4 23
159                                      , SrcSpan "tests/examples/RCategory3.hs" 4 23 4 25
160                                      , SrcSpan "tests/examples/RCategory3.hs" 4 25 4 26
161                                      ]
162                                  }
163                                (FunCon
164                                   SrcSpanInfo
165                                     { srcInfoSpan =
166                                         SrcSpan "tests/examples/RCategory3.hs" 4 22 4 26
167                                     , srcInfoPoints =
168                                         [ SrcSpan "tests/examples/RCategory3.hs" 4 22 4 23
169                                         , SrcSpan "tests/examples/RCategory3.hs" 4 23 4 25
170                                         , SrcSpan "tests/examples/RCategory3.hs" 4 25 4 26
171                                         ]
172                                     }))))
173                       (TyVar
174                          SrcSpanInfo
175                            { srcInfoSpan = SrcSpan "tests/examples/RCategory3.hs" 4 27 4 28
176                            , srcInfoPoints = []
177                            }
178                          (Ident
179                             SrcSpanInfo
180                               { srcInfoSpan = SrcSpan "tests/examples/RCategory3.hs" 4 27 4 28
181                               , srcInfoPoints = []
182                               }
183                             "a")))
184                    (TyVar
185                       SrcSpanInfo
186                         { srcInfoSpan = SrcSpan "tests/examples/RCategory3.hs" 4 29 4 30
187                         , srcInfoPoints = []
188                         }
189                       (Ident
190                          SrcSpanInfo
191                            { srcInfoSpan = SrcSpan "tests/examples/RCategory3.hs" 4 29 4 30
192                            , srcInfoPoints = []
193                            }
194                          "a")))
195                 (TyCon
196                    SrcSpanInfo
197                      { srcInfoSpan = SrcSpan "tests/examples/RCategory3.hs" 4 33 4 35
198                      , srcInfoPoints =
199                          [ SrcSpan "tests/examples/RCategory3.hs" 4 33 4 34
200                          , SrcSpan "tests/examples/RCategory3.hs" 4 34 4 35
201                          ]
202                      }
203                    (Special
204                       SrcSpanInfo
205                         { srcInfoSpan = SrcSpan "tests/examples/RCategory3.hs" 4 33 4 35
206                         , srcInfoPoints =
207                             [ SrcSpan "tests/examples/RCategory3.hs" 4 33 4 34
208                             , SrcSpan "tests/examples/RCategory3.hs" 4 34 4 35
209                             ]
210                         }
211                       (UnitCon
212                          SrcSpanInfo
213                            { srcInfoSpan = SrcSpan "tests/examples/RCategory3.hs" 4 33 4 35
214                            , srcInfoPoints =
215                                [ SrcSpan "tests/examples/RCategory3.hs" 4 33 4 34
216                                , SrcSpan "tests/examples/RCategory3.hs" 4 34 4 35
217                                ]
218                            })))
219             ])
220      ]
221  , []
222  )
223