try
` <*>
  + <*>
  | + pure cons
  | ` <*>
  |   + <*>
  |   | + pure (\u1 -> (\u2 -> u1))
  |   | ` pure 'a'
  |   ` def name_1
  |     ` satisfy
  ` <*>
    + <*>
    | + pure cons
    | ` <*>
    |   + <*>
    |   | + pure (\u1 -> (\u2 -> u1))
    |   | ` pure 'b'
    |   ` ref name_1
    ` <*>
      + <*>
      | + pure cons
      | ` <*>
      |   + <*>
      |   | + pure (\u1 -> (\u2 -> u1))
      |   | ` pure 'c'
      |   ` ref name_1
      ` <*>
        + <*>
        | + pure cons
        | ` <*>
        |   + <*>
        |   | + pure (\u1 -> (\u2 -> u1))
        |   | ` pure 'd'
        |   ` ref name_1
        ` pure Term