1ParseOk
2  ( Module
3      SrcSpanInfo
4        { srcInfoSpan = SrcSpan "tests/examples/FamilyKindSig.hs" 1 1 5 1
5        , srcInfoPoints =
6            [ SrcSpan "tests/examples/FamilyKindSig.hs" 1 1 1 1
7            , SrcSpan "tests/examples/FamilyKindSig.hs" 2 1 2 1
8            , SrcSpan "tests/examples/FamilyKindSig.hs" 2 1 2 1
9            , SrcSpan "tests/examples/FamilyKindSig.hs" 4 1 4 1
10            , SrcSpan "tests/examples/FamilyKindSig.hs" 5 1 5 1
11            , SrcSpan "tests/examples/FamilyKindSig.hs" 5 1 5 1
12            ]
13        }
14      (Just
15         (ModuleHead
16            SrcSpanInfo
17              { srcInfoSpan = SrcSpan "tests/examples/FamilyKindSig.hs" 2 1 2 27
18              , srcInfoPoints =
19                  [ SrcSpan "tests/examples/FamilyKindSig.hs" 2 1 2 7
20                  , SrcSpan "tests/examples/FamilyKindSig.hs" 2 22 2 27
21                  ]
22              }
23            (ModuleName
24               SrcSpanInfo
25                 { srcInfoSpan = SrcSpan "tests/examples/FamilyKindSig.hs" 2 8 2 21
26                 , srcInfoPoints = []
27                 }
28               "FamilyKindSig")
29            Nothing
30            Nothing))
31      [ LanguagePragma
32          SrcSpanInfo
33            { srcInfoSpan = SrcSpan "tests/examples/FamilyKindSig.hs" 1 1 1 30
34            , srcInfoPoints =
35                [ SrcSpan "tests/examples/FamilyKindSig.hs" 1 1 1 13
36                , SrcSpan "tests/examples/FamilyKindSig.hs" 1 27 1 30
37                ]
38            }
39          [ Ident
40              SrcSpanInfo
41                { srcInfoSpan = SrcSpan "tests/examples/FamilyKindSig.hs" 1 14 1 26
42                , srcInfoPoints = []
43                }
44              "TypeFamilies"
45          ]
46      ]
47      []
48      [ TypeFamDecl
49          SrcSpanInfo
50            { srcInfoSpan = SrcSpan "tests/examples/FamilyKindSig.hs" 4 1 4 38
51            , srcInfoPoints =
52                [ SrcSpan "tests/examples/FamilyKindSig.hs" 4 1 4 5
53                , SrcSpan "tests/examples/FamilyKindSig.hs" 4 6 4 12
54                ]
55            }
56          (DHApp
57             SrcSpanInfo
58               { srcInfoSpan = SrcSpan "tests/examples/FamilyKindSig.hs" 4 13 4 38
59               , srcInfoPoints = []
60               }
61             (DHead
62                SrcSpanInfo
63                  { srcInfoSpan = SrcSpan "tests/examples/FamilyKindSig.hs" 4 13 4 24
64                  , srcInfoPoints = []
65                  }
66                (Ident
67                   SrcSpanInfo
68                     { srcInfoSpan = SrcSpan "tests/examples/FamilyKindSig.hs" 4 13 4 24
69                     , srcInfoPoints = []
70                     }
71                   "WithKindSig"))
72             (KindedVar
73                SrcSpanInfo
74                  { srcInfoSpan = SrcSpan "tests/examples/FamilyKindSig.hs" 4 25 4 38
75                  , srcInfoPoints =
76                      [ SrcSpan "tests/examples/FamilyKindSig.hs" 4 25 4 26
77                      , SrcSpan "tests/examples/FamilyKindSig.hs" 4 28 4 30
78                      , SrcSpan "tests/examples/FamilyKindSig.hs" 4 37 4 38
79                      ]
80                  }
81                (Ident
82                   SrcSpanInfo
83                     { srcInfoSpan = SrcSpan "tests/examples/FamilyKindSig.hs" 4 26 4 27
84                     , srcInfoPoints = []
85                     }
86                   "a")
87                (TyFun
88                   SrcSpanInfo
89                     { srcInfoSpan = SrcSpan "tests/examples/FamilyKindSig.hs" 4 31 4 37
90                     , srcInfoPoints =
91                         [ SrcSpan "tests/examples/FamilyKindSig.hs" 4 33 4 35 ]
92                     }
93                   (TyStar
94                      SrcSpanInfo
95                        { srcInfoSpan = SrcSpan "tests/examples/FamilyKindSig.hs" 4 31 4 32
96                        , srcInfoPoints = []
97                        })
98                   (TyStar
99                      SrcSpanInfo
100                        { srcInfoSpan = SrcSpan "tests/examples/FamilyKindSig.hs" 4 36 4 37
101                        , srcInfoPoints = []
102                        }))))
103          Nothing
104          Nothing
105      ]
106  , []
107  )
108