ParseOk
  ( Module
      SrcSpanInfo
        { srcInfoSpan = SrcSpan "tests/examples/T11727.hs" 1 1 9 1
        , srcInfoPoints =
            [ SrcSpan "tests/examples/T11727.hs" 1 1 1 1
            , SrcSpan "tests/examples/T11727.hs" 3 1 3 1
            , SrcSpan "tests/examples/T11727.hs" 3 1 3 1
            , SrcSpan "tests/examples/T11727.hs" 5 1 5 1
            , SrcSpan "tests/examples/T11727.hs" 6 1 6 1
            , SrcSpan "tests/examples/T11727.hs" 7 1 7 1
            , SrcSpan "tests/examples/T11727.hs" 9 1 9 1
            , SrcSpan "tests/examples/T11727.hs" 9 1 9 1
            ]
        }
      (Just
         (ModuleHead
            SrcSpanInfo
              { srcInfoSpan = SrcSpan "tests/examples/T11727.hs" 3 1 3 20
              , srcInfoPoints =
                  [ SrcSpan "tests/examples/T11727.hs" 3 1 3 7
                  , SrcSpan "tests/examples/T11727.hs" 3 15 3 20
                  ]
              }
            (ModuleName
               SrcSpanInfo
                 { srcInfoSpan = SrcSpan "tests/examples/T11727.hs" 3 8 3 14
                 , srcInfoPoints = []
                 }
               "T11727")
            Nothing
            Nothing))
      [ LanguagePragma
          SrcSpanInfo
            { srcInfoSpan = SrcSpan "tests/examples/T11727.hs" 1 1 1 33
            , srcInfoPoints =
                [ SrcSpan "tests/examples/T11727.hs" 1 1 1 13
                , SrcSpan "tests/examples/T11727.hs" 1 30 1 33
                ]
            }
          [ Ident
              SrcSpanInfo
                { srcInfoSpan = SrcSpan "tests/examples/T11727.hs" 1 14 1 29
                , srcInfoPoints = []
                }
              "PatternSynonyms"
          ]
      ]
      []
      [ PatSynSig
          SrcSpanInfo
            { srcInfoSpan = SrcSpan "tests/examples/T11727.hs" 5 1 5 19
            , srcInfoPoints =
                [ SrcSpan "tests/examples/T11727.hs" 5 1 5 8
                , SrcSpan "tests/examples/T11727.hs" 5 10 5 11
                , SrcSpan "tests/examples/T11727.hs" 5 13 5 15
                ]
            }
          [ Ident
              SrcSpanInfo
                { srcInfoSpan = SrcSpan "tests/examples/T11727.hs" 5 9 5 10
                , srcInfoPoints = []
                }
              "A"
          , Ident
              SrcSpanInfo
                { srcInfoSpan = SrcSpan "tests/examples/T11727.hs" 5 11 5 12
                , srcInfoPoints = []
                }
              "B"
          ]
          Nothing
          Nothing
          Nothing
          Nothing
          (TyCon
             SrcSpanInfo
               { srcInfoSpan = SrcSpan "tests/examples/T11727.hs" 5 16 5 19
               , srcInfoPoints = []
               }
             (UnQual
                SrcSpanInfo
                  { srcInfoSpan = SrcSpan "tests/examples/T11727.hs" 5 16 5 19
                  , srcInfoPoints = []
                  }
                (Ident
                   SrcSpanInfo
                     { srcInfoSpan = SrcSpan "tests/examples/T11727.hs" 5 16 5 19
                     , srcInfoPoints = []
                     }
                   "Int")))
      , PatSyn
          SrcSpanInfo
            { srcInfoSpan = SrcSpan "tests/examples/T11727.hs" 6 1 6 14
            , srcInfoPoints =
                [ SrcSpan "tests/examples/T11727.hs" 6 1 6 8
                , SrcSpan "tests/examples/T11727.hs" 6 11 6 12
                ]
            }
          (PApp
             SrcSpanInfo
               { srcInfoSpan = SrcSpan "tests/examples/T11727.hs" 6 9 6 10
               , srcInfoPoints = []
               }
             (UnQual
                SrcSpanInfo
                  { srcInfoSpan = SrcSpan "tests/examples/T11727.hs" 6 9 6 10
                  , srcInfoPoints = []
                  }
                (Ident
                   SrcSpanInfo
                     { srcInfoSpan = SrcSpan "tests/examples/T11727.hs" 6 9 6 10
                     , srcInfoPoints = []
                     }
                   "A"))
             [])
          (PLit
             SrcSpanInfo
               { srcInfoSpan = SrcSpan "tests/examples/T11727.hs" 6 13 6 14
               , srcInfoPoints = []
               }
             (Signless
                SrcSpanInfo
                  { srcInfoSpan = SrcSpan "tests/examples/T11727.hs" 6 13 6 14
                  , srcInfoPoints = []
                  })
             (Int
                SrcSpanInfo
                  { srcInfoSpan = SrcSpan "tests/examples/T11727.hs" 6 13 6 14
                  , srcInfoPoints = []
                  }
                5
                "5"))
          ImplicitBidirectional
      , PatSyn
          SrcSpanInfo
            { srcInfoSpan = SrcSpan "tests/examples/T11727.hs" 7 1 7 14
            , srcInfoPoints =
                [ SrcSpan "tests/examples/T11727.hs" 7 1 7 8
                , SrcSpan "tests/examples/T11727.hs" 7 11 7 12
                ]
            }
          (PApp
             SrcSpanInfo
               { srcInfoSpan = SrcSpan "tests/examples/T11727.hs" 7 9 7 10
               , srcInfoPoints = []
               }
             (UnQual
                SrcSpanInfo
                  { srcInfoSpan = SrcSpan "tests/examples/T11727.hs" 7 9 7 10
                  , srcInfoPoints = []
                  }
                (Ident
                   SrcSpanInfo
                     { srcInfoSpan = SrcSpan "tests/examples/T11727.hs" 7 9 7 10
                     , srcInfoPoints = []
                     }
                   "B"))
             [])
          (PLit
             SrcSpanInfo
               { srcInfoSpan = SrcSpan "tests/examples/T11727.hs" 7 13 7 14
               , srcInfoPoints = []
               }
             (Signless
                SrcSpanInfo
                  { srcInfoSpan = SrcSpan "tests/examples/T11727.hs" 7 13 7 14
                  , srcInfoPoints = []
                  })
             (Int
                SrcSpanInfo
                  { srcInfoSpan = SrcSpan "tests/examples/T11727.hs" 7 13 7 14
                  , srcInfoPoints = []
                  }
                5
                "5"))
          ImplicitBidirectional
      ]
  , []
  )