ParseOk
  ( Module
      SrcSpanInfo
        { srcInfoSpan =
            SrcSpan "tests/examples/ConstraintKinds.hs" 1 1 11 1
        , srcInfoPoints =
            [ SrcSpan "tests/examples/ConstraintKinds.hs" 1 1 1 1
            , SrcSpan "tests/examples/ConstraintKinds.hs" 2 1 2 1
            , SrcSpan "tests/examples/ConstraintKinds.hs" 3 1 3 1
            , SrcSpan "tests/examples/ConstraintKinds.hs" 4 1 4 1
            , SrcSpan "tests/examples/ConstraintKinds.hs" 4 1 4 1
            , SrcSpan "tests/examples/ConstraintKinds.hs" 4 1 4 1
            , SrcSpan "tests/examples/ConstraintKinds.hs" 6 1 6 1
            , SrcSpan "tests/examples/ConstraintKinds.hs" 7 1 7 1
            , SrcSpan "tests/examples/ConstraintKinds.hs" 9 1 9 1
            , SrcSpan "tests/examples/ConstraintKinds.hs" 10 1 10 1
            , SrcSpan "tests/examples/ConstraintKinds.hs" 11 1 11 1
            , SrcSpan "tests/examples/ConstraintKinds.hs" 11 1 11 1
            ]
        }
      Nothing
      [ LanguagePragma
          SrcSpanInfo
            { srcInfoSpan =
                SrcSpan "tests/examples/ConstraintKinds.hs" 1 1 1 30
            , srcInfoPoints =
                [ SrcSpan "tests/examples/ConstraintKinds.hs" 1 1 1 13
                , SrcSpan "tests/examples/ConstraintKinds.hs" 1 27 1 30
                ]
            }
          [ Ident
              SrcSpanInfo
                { srcInfoSpan =
                    SrcSpan "tests/examples/ConstraintKinds.hs" 1 14 1 26
                , srcInfoPoints = []
                }
              "TypeFamilies"
          ]
      , LanguagePragma
          SrcSpanInfo
            { srcInfoSpan =
                SrcSpan "tests/examples/ConstraintKinds.hs" 2 1 2 33
            , srcInfoPoints =
                [ SrcSpan "tests/examples/ConstraintKinds.hs" 2 1 2 13
                , SrcSpan "tests/examples/ConstraintKinds.hs" 2 30 2 33
                ]
            }
          [ Ident
              SrcSpanInfo
                { srcInfoSpan =
                    SrcSpan "tests/examples/ConstraintKinds.hs" 2 14 2 29
                , srcInfoPoints = []
                }
              "ConstraintKinds"
          ]
      , LanguagePragma
          SrcSpanInfo
            { srcInfoSpan =
                SrcSpan "tests/examples/ConstraintKinds.hs" 3 1 3 39
            , srcInfoPoints =
                [ SrcSpan "tests/examples/ConstraintKinds.hs" 3 1 3 13
                , SrcSpan "tests/examples/ConstraintKinds.hs" 3 36 3 39
                ]
            }
          [ Ident
              SrcSpanInfo
                { srcInfoSpan =
                    SrcSpan "tests/examples/ConstraintKinds.hs" 3 14 3 35
                , srcInfoPoints = []
                }
              "MultiParamTypeClasses"
          ]
      ]
      []
      [ ClassDecl
          SrcSpanInfo
            { srcInfoSpan = SrcSpan "tests/examples/ConstraintKinds.hs" 4 1 6 0
            , srcInfoPoints =
                [ SrcSpan "tests/examples/ConstraintKinds.hs" 4 1 4 6
                , SrcSpan "tests/examples/ConstraintKinds.hs" 4 13 4 18
                , SrcSpan "tests/examples/ConstraintKinds.hs" 6 1 6 1
                , SrcSpan "tests/examples/ConstraintKinds.hs" 6 1 6 1
                , SrcSpan "tests/examples/ConstraintKinds.hs" 6 0 6 0
                ]
            }
          Nothing
          (DHApp
             SrcSpanInfo
               { srcInfoSpan =
                   SrcSpan "tests/examples/ConstraintKinds.hs" 4 7 4 12
               , srcInfoPoints = []
               }
             (DHead
                SrcSpanInfo
                  { srcInfoSpan =
                      SrcSpan "tests/examples/ConstraintKinds.hs" 4 7 4 10
                  , srcInfoPoints = []
                  }
                (Ident
                   SrcSpanInfo
                     { srcInfoSpan =
                         SrcSpan "tests/examples/ConstraintKinds.hs" 4 7 4 10
                     , srcInfoPoints = []
                     }
                   "Foo"))
             (UnkindedVar
                SrcSpanInfo
                  { srcInfoSpan =
                      SrcSpan "tests/examples/ConstraintKinds.hs" 4 11 4 12
                  , srcInfoPoints = []
                  }
                (Ident
                   SrcSpanInfo
                     { srcInfoSpan =
                         SrcSpan "tests/examples/ConstraintKinds.hs" 4 11 4 12
                     , srcInfoPoints = []
                     }
                   "a")))
          []
          (Just [])
      , DataDecl
          SrcSpanInfo
            { srcInfoSpan = SrcSpan "tests/examples/ConstraintKinds.hs" 6 1 6 5
            , srcInfoPoints = []
            }
          (DataType
             SrcSpanInfo
               { srcInfoSpan = SrcSpan "tests/examples/ConstraintKinds.hs" 6 1 6 5
               , srcInfoPoints = []
               })
          Nothing
          (DHApp
             SrcSpanInfo
               { srcInfoSpan =
                   SrcSpan "tests/examples/ConstraintKinds.hs" 6 6 6 11
               , srcInfoPoints = []
               }
             (DHead
                SrcSpanInfo
                  { srcInfoSpan = SrcSpan "tests/examples/ConstraintKinds.hs" 6 6 6 9
                  , srcInfoPoints = []
                  }
                (Ident
                   SrcSpanInfo
                     { srcInfoSpan = SrcSpan "tests/examples/ConstraintKinds.hs" 6 6 6 9
                     , srcInfoPoints = []
                     }
                   "Bar"))
             (UnkindedVar
                SrcSpanInfo
                  { srcInfoSpan =
                      SrcSpan "tests/examples/ConstraintKinds.hs" 6 10 6 11
                  , srcInfoPoints = []
                  }
                (Ident
                   SrcSpanInfo
                     { srcInfoSpan =
                         SrcSpan "tests/examples/ConstraintKinds.hs" 6 10 6 11
                     , srcInfoPoints = []
                     }
                   "a")))
          []
          []
      , TypeDecl
          SrcSpanInfo
            { srcInfoSpan =
                SrcSpan "tests/examples/ConstraintKinds.hs" 7 1 7 37
            , srcInfoPoints =
                [ SrcSpan "tests/examples/ConstraintKinds.hs" 7 1 7 5
                , SrcSpan "tests/examples/ConstraintKinds.hs" 7 18 7 19
                ]
            }
          (DHApp
             SrcSpanInfo
               { srcInfoSpan =
                   SrcSpan "tests/examples/ConstraintKinds.hs" 7 6 7 17
               , srcInfoPoints = []
               }
             (DHApp
                SrcSpanInfo
                  { srcInfoSpan =
                      SrcSpan "tests/examples/ConstraintKinds.hs" 7 6 7 15
                  , srcInfoPoints = []
                  }
                (DHead
                   SrcSpanInfo
                     { srcInfoSpan =
                         SrcSpan "tests/examples/ConstraintKinds.hs" 7 6 7 13
                     , srcInfoPoints = []
                     }
                   (Ident
                      SrcSpanInfo
                        { srcInfoSpan =
                            SrcSpan "tests/examples/ConstraintKinds.hs" 7 6 7 13
                        , srcInfoPoints = []
                        }
                      "Bazable"))
                (UnkindedVar
                   SrcSpanInfo
                     { srcInfoSpan =
                         SrcSpan "tests/examples/ConstraintKinds.hs" 7 14 7 15
                     , srcInfoPoints = []
                     }
                   (Ident
                      SrcSpanInfo
                        { srcInfoSpan =
                            SrcSpan "tests/examples/ConstraintKinds.hs" 7 14 7 15
                        , srcInfoPoints = []
                        }
                      "a")))
             (UnkindedVar
                SrcSpanInfo
                  { srcInfoSpan =
                      SrcSpan "tests/examples/ConstraintKinds.hs" 7 16 7 17
                  , srcInfoPoints = []
                  }
                (Ident
                   SrcSpanInfo
                     { srcInfoSpan =
                         SrcSpan "tests/examples/ConstraintKinds.hs" 7 16 7 17
                     , srcInfoPoints = []
                     }
                   "b")))
          (TyParen
             SrcSpanInfo
               { srcInfoSpan =
                   SrcSpan "tests/examples/ConstraintKinds.hs" 7 20 7 37
               , srcInfoPoints =
                   [ SrcSpan "tests/examples/ConstraintKinds.hs" 7 20 7 21
                   , SrcSpan "tests/examples/ConstraintKinds.hs" 7 36 7 37
                   ]
               }
             (TyEquals
                SrcSpanInfo
                  { srcInfoSpan =
                      SrcSpan "tests/examples/ConstraintKinds.hs" 7 21 7 36
                  , srcInfoPoints =
                      [ SrcSpan "tests/examples/ConstraintKinds.hs" 7 27 7 28 ]
                  }
                (TyApp
                   SrcSpanInfo
                     { srcInfoSpan =
                         SrcSpan "tests/examples/ConstraintKinds.hs" 7 21 7 26
                     , srcInfoPoints = []
                     }
                   (TyCon
                      SrcSpanInfo
                        { srcInfoSpan =
                            SrcSpan "tests/examples/ConstraintKinds.hs" 7 21 7 24
                        , srcInfoPoints = []
                        }
                      (UnQual
                         SrcSpanInfo
                           { srcInfoSpan =
                               SrcSpan "tests/examples/ConstraintKinds.hs" 7 21 7 24
                           , srcInfoPoints = []
                           }
                         (Ident
                            SrcSpanInfo
                              { srcInfoSpan =
                                  SrcSpan "tests/examples/ConstraintKinds.hs" 7 21 7 24
                              , srcInfoPoints = []
                              }
                            "Bar")))
                   (TyVar
                      SrcSpanInfo
                        { srcInfoSpan =
                            SrcSpan "tests/examples/ConstraintKinds.hs" 7 25 7 26
                        , srcInfoPoints = []
                        }
                      (Ident
                         SrcSpanInfo
                           { srcInfoSpan =
                               SrcSpan "tests/examples/ConstraintKinds.hs" 7 25 7 26
                           , srcInfoPoints = []
                           }
                         "a")))
                (TyApp
                   SrcSpanInfo
                     { srcInfoSpan =
                         SrcSpan "tests/examples/ConstraintKinds.hs" 7 29 7 36
                     , srcInfoPoints = []
                     }
                   (TyCon
                      SrcSpanInfo
                        { srcInfoSpan =
                            SrcSpan "tests/examples/ConstraintKinds.hs" 7 29 7 34
                        , srcInfoPoints = []
                        }
                      (UnQual
                         SrcSpanInfo
                           { srcInfoSpan =
                               SrcSpan "tests/examples/ConstraintKinds.hs" 7 29 7 34
                           , srcInfoPoints = []
                           }
                         (Ident
                            SrcSpanInfo
                              { srcInfoSpan =
                                  SrcSpan "tests/examples/ConstraintKinds.hs" 7 29 7 34
                              , srcInfoPoints = []
                              }
                            "Maybe")))
                   (TyVar
                      SrcSpanInfo
                        { srcInfoSpan =
                            SrcSpan "tests/examples/ConstraintKinds.hs" 7 35 7 36
                        , srcInfoPoints = []
                        }
                      (Ident
                         SrcSpanInfo
                           { srcInfoSpan =
                               SrcSpan "tests/examples/ConstraintKinds.hs" 7 35 7 36
                           , srcInfoPoints = []
                           }
                         "b")))))
      , TypeSig
          SrcSpanInfo
            { srcInfoSpan =
                SrcSpan "tests/examples/ConstraintKinds.hs" 9 1 9 29
            , srcInfoPoints =
                [ SrcSpan "tests/examples/ConstraintKinds.hs" 9 5 9 7 ]
            }
          [ Ident
              SrcSpanInfo
                { srcInfoSpan = SrcSpan "tests/examples/ConstraintKinds.hs" 9 1 9 4
                , srcInfoPoints = []
                }
              "baz"
          ]
          (TyForall
             SrcSpanInfo
               { srcInfoSpan =
                   SrcSpan "tests/examples/ConstraintKinds.hs" 9 8 9 29
               , srcInfoPoints = []
               }
             Nothing
             (Just
                (CxSingle
                   SrcSpanInfo
                     { srcInfoSpan =
                         SrcSpan "tests/examples/ConstraintKinds.hs" 9 8 9 22
                     , srcInfoPoints =
                         [ SrcSpan "tests/examples/ConstraintKinds.hs" 9 20 9 22 ]
                     }
                   (ClassA
                      SrcSpanInfo
                        { srcInfoSpan =
                            SrcSpan "tests/examples/ConstraintKinds.hs" 9 8 9 22
                        , srcInfoPoints =
                            [ SrcSpan "tests/examples/ConstraintKinds.hs" 9 20 9 22 ]
                        }
                      (UnQual
                         SrcSpanInfo
                           { srcInfoSpan =
                               SrcSpan "tests/examples/ConstraintKinds.hs" 9 8 9 15
                           , srcInfoPoints = []
                           }
                         (Ident
                            SrcSpanInfo
                              { srcInfoSpan =
                                  SrcSpan "tests/examples/ConstraintKinds.hs" 9 8 9 15
                              , srcInfoPoints = []
                              }
                            "Bazable"))
                      [ TyVar
                          SrcSpanInfo
                            { srcInfoSpan =
                                SrcSpan "tests/examples/ConstraintKinds.hs" 9 16 9 17
                            , srcInfoPoints = []
                            }
                          (Ident
                             SrcSpanInfo
                               { srcInfoSpan =
                                   SrcSpan "tests/examples/ConstraintKinds.hs" 9 16 9 17
                               , srcInfoPoints = []
                               }
                             "a")
                      , TyVar
                          SrcSpanInfo
                            { srcInfoSpan =
                                SrcSpan "tests/examples/ConstraintKinds.hs" 9 18 9 19
                            , srcInfoPoints = []
                            }
                          (Ident
                             SrcSpanInfo
                               { srcInfoSpan =
                                   SrcSpan "tests/examples/ConstraintKinds.hs" 9 18 9 19
                               , srcInfoPoints = []
                               }
                             "b")
                      ])))
             (TyFun
                SrcSpanInfo
                  { srcInfoSpan =
                      SrcSpan "tests/examples/ConstraintKinds.hs" 9 23 9 29
                  , srcInfoPoints =
                      [ SrcSpan "tests/examples/ConstraintKinds.hs" 9 25 9 27 ]
                  }
                (TyVar
                   SrcSpanInfo
                     { srcInfoSpan =
                         SrcSpan "tests/examples/ConstraintKinds.hs" 9 23 9 24
                     , srcInfoPoints = []
                     }
                   (Ident
                      SrcSpanInfo
                        { srcInfoSpan =
                            SrcSpan "tests/examples/ConstraintKinds.hs" 9 23 9 24
                        , srcInfoPoints = []
                        }
                      "a"))
                (TyVar
                   SrcSpanInfo
                     { srcInfoSpan =
                         SrcSpan "tests/examples/ConstraintKinds.hs" 9 28 9 29
                     , srcInfoPoints = []
                     }
                   (Ident
                      SrcSpanInfo
                        { srcInfoSpan =
                            SrcSpan "tests/examples/ConstraintKinds.hs" 9 28 9 29
                        , srcInfoPoints = []
                        }
                      "a"))))
      , PatBind
          SrcSpanInfo
            { srcInfoSpan =
                SrcSpan "tests/examples/ConstraintKinds.hs" 10 1 10 9
            , srcInfoPoints = []
            }
          (PVar
             SrcSpanInfo
               { srcInfoSpan =
                   SrcSpan "tests/examples/ConstraintKinds.hs" 10 1 10 4
               , srcInfoPoints = []
               }
             (Ident
                SrcSpanInfo
                  { srcInfoSpan =
                      SrcSpan "tests/examples/ConstraintKinds.hs" 10 1 10 4
                  , srcInfoPoints = []
                  }
                "baz"))
          (UnGuardedRhs
             SrcSpanInfo
               { srcInfoSpan =
                   SrcSpan "tests/examples/ConstraintKinds.hs" 10 5 10 9
               , srcInfoPoints =
                   [ SrcSpan "tests/examples/ConstraintKinds.hs" 10 5 10 6 ]
               }
             (Var
                SrcSpanInfo
                  { srcInfoSpan =
                      SrcSpan "tests/examples/ConstraintKinds.hs" 10 7 10 9
                  , srcInfoPoints = []
                  }
                (UnQual
                   SrcSpanInfo
                     { srcInfoSpan =
                         SrcSpan "tests/examples/ConstraintKinds.hs" 10 7 10 9
                     , srcInfoPoints = []
                     }
                   (Ident
                      SrcSpanInfo
                        { srcInfoSpan =
                            SrcSpan "tests/examples/ConstraintKinds.hs" 10 7 10 9
                        , srcInfoPoints = []
                        }
                      "id"))))
          Nothing
      ]
  , []
  )