try
` <*>
  + <*>
  | + pure cons
  | ` <*>
  |   + <*>
  |   | + pure const
  |   | ` pure Haskell
  |   ` def name_1
  |     ` satisfy
  ` <*>
    + <*>
    | + pure cons
    | ` <*>
    |   + <*>
    |   | + pure const
    |   | ` pure Haskell
    |   ` ref name_1
    ` <*>
      + <*>
      | + pure cons
      | ` <*>
      |   + <*>
      |   | + pure const
      |   | ` pure Haskell
      |   ` ref name_1
      ` <*>
        + <*>
        | + pure cons
        | ` <*>
        |   + <*>
        |   | + pure const
        |   | ` pure Haskell
        |   ` ref name_1
        ` pure Haskell