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

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