test/Golden/Grammar/ViewGrammar/G2.expected.txt

   1 try
   2 ` <*>
   3   + <*>
   4   | + pure cons
   5   | ` <*>
   6   |   + <*>
   7   |   | + pure (\u1 -> (\u2 -> u1))
   8   |   | ` pure 'a'
   9   |   ` satisfy
  10   ` <*>
  11     + <*>
  12     | + pure cons
  13     | ` <*>
  14     |   + <*>
  15     |   | + pure (\u1 -> (\u2 -> u1))
  16     |   | ` pure 'b'
  17     |   ` satisfy
  18     ` <*>
  19       + <*>
  20       | + pure cons
  21       | ` <*>
  22       |   + <*>
  23       |   | + pure (\u1 -> (\u2 -> u1))
  24       |   | ` pure 'c'
  25       |   ` satisfy
  26       ` pure Term