ParseOk
  ( Module
      SrcSpanInfo
        { srcInfoSpan = SrcSpan "tests/examples/t412.hs" 1 1 9 1
        , srcInfoPoints =
            [ SrcSpan "tests/examples/t412.hs" 1 1 1 1
            , SrcSpan "tests/examples/t412.hs" 3 1 3 1
            , SrcSpan "tests/examples/t412.hs" 3 1 3 1
            , SrcSpan "tests/examples/t412.hs" 6 1 6 1
            , SrcSpan "tests/examples/t412.hs" 8 1 8 1
            , SrcSpan "tests/examples/t412.hs" 9 1 9 1
            , SrcSpan "tests/examples/t412.hs" 9 1 9 1
            ]
        }
      (Just
         (ModuleHead
            SrcSpanInfo
              { srcInfoSpan = SrcSpan "tests/examples/t412.hs" 3 1 4 21
              , srcInfoPoints =
                  [ SrcSpan "tests/examples/t412.hs" 3 1 3 7
                  , SrcSpan "tests/examples/t412.hs" 4 16 4 21
                  ]
              }
            (ModuleName
               SrcSpanInfo
                 { srcInfoSpan = SrcSpan "tests/examples/t412.hs" 3 8 3 18
                 , srcInfoPoints = []
                 }
               "Typeintype")
            Nothing
            (Just
               (ExportSpecList
                  SrcSpanInfo
                    { srcInfoSpan = SrcSpan "tests/examples/t412.hs" 4 8 4 15
                    , srcInfoPoints =
                        [ SrcSpan "tests/examples/t412.hs" 4 8 4 9
                        , SrcSpan "tests/examples/t412.hs" 4 14 4 15
                        ]
                    }
                  [ EAbs
                      SrcSpanInfo
                        { srcInfoSpan = SrcSpan "tests/examples/t412.hs" 4 10 4 13
                        , srcInfoPoints = []
                        }
                      (NoNamespace
                         SrcSpanInfo
                           { srcInfoSpan = SrcSpan "tests/examples/t412.hs" 4 10 4 13
                           , srcInfoPoints = []
                           })
                      (UnQual
                         SrcSpanInfo
                           { srcInfoSpan = SrcSpan "tests/examples/t412.hs" 4 10 4 13
                           , srcInfoPoints = []
                           }
                         (Ident
                            SrcSpanInfo
                              { srcInfoSpan = SrcSpan "tests/examples/t412.hs" 4 10 4 13
                              , srcInfoPoints = []
                              }
                            "App"))
                  ]))))
      [ LanguagePragma
          SrcSpanInfo
            { srcInfoSpan = SrcSpan "tests/examples/t412.hs" 1 1 1 28
            , srcInfoPoints =
                [ SrcSpan "tests/examples/t412.hs" 1 1 1 13
                , SrcSpan "tests/examples/t412.hs" 1 25 1 28
                ]
            }
          [ Ident
              SrcSpanInfo
                { srcInfoSpan = SrcSpan "tests/examples/t412.hs" 1 14 1 24
                , srcInfoPoints = []
                }
              "TypeInType"
          ]
      ]
      [ ImportDecl
          { importAnn =
              SrcSpanInfo
                { srcInfoSpan = SrcSpan "tests/examples/t412.hs" 6 1 6 17
                , srcInfoPoints = [ SrcSpan "tests/examples/t412.hs" 6 1 6 7 ]
                }
          , importModule =
              ModuleName
                SrcSpanInfo
                  { srcInfoSpan = SrcSpan "tests/examples/t412.hs" 6 8 6 17
                  , srcInfoPoints = []
                  }
                "Data.Kind"
          , importQualified = False
          , importSrc = False
          , importSafe = False
          , importPkg = Nothing
          , importAs = Nothing
          , importSpecs = Nothing
          }
      ]
      [ DataDecl
          SrcSpanInfo
            { srcInfoSpan = SrcSpan "tests/examples/t412.hs" 8 1 8 5
            , srcInfoPoints = []
            }
          (DataType
             SrcSpanInfo
               { srcInfoSpan = SrcSpan "tests/examples/t412.hs" 8 1 8 5
               , srcInfoPoints = []
               })
          Nothing
          (DHApp
             SrcSpanInfo
               { srcInfoSpan = SrcSpan "tests/examples/t412.hs" 8 6 8 23
               , srcInfoPoints = []
               }
             (DHead
                SrcSpanInfo
                  { srcInfoSpan = SrcSpan "tests/examples/t412.hs" 8 6 8 9
                  , srcInfoPoints = []
                  }
                (Ident
                   SrcSpanInfo
                     { srcInfoSpan = SrcSpan "tests/examples/t412.hs" 8 6 8 9
                     , srcInfoPoints = []
                     }
                   "App"))
             (KindedVar
                SrcSpanInfo
                  { srcInfoSpan = SrcSpan "tests/examples/t412.hs" 8 10 8 23
                  , srcInfoPoints =
                      [ SrcSpan "tests/examples/t412.hs" 8 10 8 11
                      , SrcSpan "tests/examples/t412.hs" 8 13 8 15
                      , SrcSpan "tests/examples/t412.hs" 8 22 8 23
                      ]
                  }
                (Ident
                   SrcSpanInfo
                     { srcInfoSpan = SrcSpan "tests/examples/t412.hs" 8 11 8 12
                     , srcInfoPoints = []
                     }
                   "f")
                (TyFun
                   SrcSpanInfo
                     { srcInfoSpan = SrcSpan "tests/examples/t412.hs" 8 16 8 22
                     , srcInfoPoints = [ SrcSpan "tests/examples/t412.hs" 8 18 8 20 ]
                     }
                   (TyVar
                      SrcSpanInfo
                        { srcInfoSpan = SrcSpan "tests/examples/t412.hs" 8 16 8 17
                        , srcInfoPoints = []
                        }
                      (Ident
                         SrcSpanInfo
                           { srcInfoSpan = SrcSpan "tests/examples/t412.hs" 8 16 8 17
                           , srcInfoPoints = []
                           }
                         "k"))
                   (TyStar
                      SrcSpanInfo
                        { srcInfoSpan = SrcSpan "tests/examples/t412.hs" 8 21 8 22
                        , srcInfoPoints = []
                        }))))
          []
          []
      ]
  , []
  )