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

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