test/Golden/Grammar/many-a.opt.dump

   1 <*>
   2 + pure (flip (\x0 -> (\x1 -> x0 x1))) Pure
   3 ` def name_1
   4   ` <|>
   5     + <*>
   6     | + <*>
   7     | | + pure ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) (\x0 -> (\x1 -> (\x2 -> x0 (x1 x2))))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) cons) ((\x0 -> (\x1 -> x0)) 'a'))
   8     | | ` satisfy
   9     | ` rec name_1
  10     ` pure (\x0 -> x0)