tests/Golden/Grammar/OptimizeGrammar/G6.expected.txt

   1 lets
   2 ` <*>
   3   + pure GHC.Show.show
   4   ` <|>
   5     + <*>
   6     | + <*>
   7     | | + pure (\x_0 -> \x_1 -> (GHC.Types.:) 'a' ((GHC.Types.:) 'a' GHC.Types.[]))
   8     | | ` satisfy ((GHC.Classes.==) 'a')
   9     | ` satisfy ((GHC.Classes.==) 'a')
  10     ` <*>
  11       + <*>
  12       | + pure (\x_0 -> \x_1 -> (GHC.Types.:) 'a' ((GHC.Types.:) 'b' GHC.Types.[]))
  13       | ` satisfy ((GHC.Classes.==) 'a')
  14       ` satisfy ((GHC.Classes.==) 'b')