ParseOk
  ( Module
      SrcSpanInfo
        { srcInfoSpan = SrcSpan "tests/examples/FamilyKindSig.hs" 1 1 5 1
        , srcInfoPoints =
            [ SrcSpan "tests/examples/FamilyKindSig.hs" 1 1 1 1
            , SrcSpan "tests/examples/FamilyKindSig.hs" 2 1 2 1
            , SrcSpan "tests/examples/FamilyKindSig.hs" 2 1 2 1
            , SrcSpan "tests/examples/FamilyKindSig.hs" 4 1 4 1
            , SrcSpan "tests/examples/FamilyKindSig.hs" 5 1 5 1
            , SrcSpan "tests/examples/FamilyKindSig.hs" 5 1 5 1
            ]
        }
      (Just
         (ModuleHead
            SrcSpanInfo
              { srcInfoSpan = SrcSpan "tests/examples/FamilyKindSig.hs" 2 1 2 27
              , srcInfoPoints =
                  [ SrcSpan "tests/examples/FamilyKindSig.hs" 2 1 2 7
                  , SrcSpan "tests/examples/FamilyKindSig.hs" 2 22 2 27
                  ]
              }
            (ModuleName
               SrcSpanInfo
                 { srcInfoSpan = SrcSpan "tests/examples/FamilyKindSig.hs" 2 8 2 21
                 , srcInfoPoints = []
                 }
               "FamilyKindSig")
            Nothing
            Nothing))
      [ LanguagePragma
          SrcSpanInfo
            { srcInfoSpan = SrcSpan "tests/examples/FamilyKindSig.hs" 1 1 1 30
            , srcInfoPoints =
                [ SrcSpan "tests/examples/FamilyKindSig.hs" 1 1 1 13
                , SrcSpan "tests/examples/FamilyKindSig.hs" 1 27 1 30
                ]
            }
          [ Ident
              SrcSpanInfo
                { srcInfoSpan = SrcSpan "tests/examples/FamilyKindSig.hs" 1 14 1 26
                , srcInfoPoints = []
                }
              "TypeFamilies"
          ]
      ]
      []
      [ TypeFamDecl
          SrcSpanInfo
            { srcInfoSpan = SrcSpan "tests/examples/FamilyKindSig.hs" 4 1 4 38
            , srcInfoPoints =
                [ SrcSpan "tests/examples/FamilyKindSig.hs" 4 1 4 5
                , SrcSpan "tests/examples/FamilyKindSig.hs" 4 6 4 12
                ]
            }
          (DHApp
             SrcSpanInfo
               { srcInfoSpan = SrcSpan "tests/examples/FamilyKindSig.hs" 4 13 4 38
               , srcInfoPoints = []
               }
             (DHead
                SrcSpanInfo
                  { srcInfoSpan = SrcSpan "tests/examples/FamilyKindSig.hs" 4 13 4 24
                  , srcInfoPoints = []
                  }
                (Ident
                   SrcSpanInfo
                     { srcInfoSpan = SrcSpan "tests/examples/FamilyKindSig.hs" 4 13 4 24
                     , srcInfoPoints = []
                     }
                   "WithKindSig"))
             (KindedVar
                SrcSpanInfo
                  { srcInfoSpan = SrcSpan "tests/examples/FamilyKindSig.hs" 4 25 4 38
                  , srcInfoPoints =
                      [ SrcSpan "tests/examples/FamilyKindSig.hs" 4 25 4 26
                      , SrcSpan "tests/examples/FamilyKindSig.hs" 4 28 4 30
                      , SrcSpan "tests/examples/FamilyKindSig.hs" 4 37 4 38
                      ]
                  }
                (Ident
                   SrcSpanInfo
                     { srcInfoSpan = SrcSpan "tests/examples/FamilyKindSig.hs" 4 26 4 27
                     , srcInfoPoints = []
                     }
                   "a")
                (KindFn
                   SrcSpanInfo
                     { srcInfoSpan = SrcSpan "tests/examples/FamilyKindSig.hs" 4 31 4 37
                     , srcInfoPoints =
                         [ SrcSpan "tests/examples/FamilyKindSig.hs" 4 33 4 35 ]
                     }
                   (KindStar
                      SrcSpanInfo
                        { srcInfoSpan = SrcSpan "tests/examples/FamilyKindSig.hs" 4 31 4 32
                        , srcInfoPoints = []
                        })
                   (KindStar
                      SrcSpanInfo
                        { srcInfoSpan = SrcSpan "tests/examples/FamilyKindSig.hs" 4 36 4 37
                        , srcInfoPoints = []
                        }))))
          Nothing
          Nothing
      ]
  , []
  )