test/Golden/Grammar/many-a.dump

   1 <*>
   2 + def name_1
   3 | ` <|>
   4 |   + <*>
   5 |   | + <*>
   6 |   | | + pure (\u1 -> (\u2 -> (\u3 -> u1 (u2 u3))))
   7 |   | | ` <*>
   8 |   | |   + pure cons
   9 |   | |   ` <*>
  10 |   | |     + <*>
  11 |   | |     | + pure (\u1 -> (\u2 -> u1))
  12 |   | |     | ` pure 'a'
  13 |   | |     ` satisfy
  14 |   | ` rec name_1
  15 |   ` pure (\u1 -> u1)
  16 ` pure Term