lets
+ let <hidden>
| ` <|>
|   + <*>
|   | + <*>
|   | | + pure (\u1 -> (\u2 -> (\u3 -> u1 (u2 u3))))
|   | | ` <*>
|   | |   + pure cons
|   | |   ` ref <hidden>
|   | ` rec <hidden>
|   ` pure (\u1 -> u1)
+ let <hidden>
| ` try
|   ` <*>
|     + <*>
|     | + pure cons
|     | ` <*>
|     |   + <*>
|     |   | + pure (\u1 -> (\u2 -> u1))
|     |   | ` pure 'a'
|     |   ` satisfy
|     ` <*>
|       + <*>
|       | + pure cons
|       | ` <*>
|       |   + <*>
|       |   | + pure (\u1 -> (\u2 -> u1))
|       |   | ` pure 'b'
|       |   ` satisfy
|       ` <*>
|         + <*>
|         | + pure cons
|         | ` <*>
|         |   + <*>
|         |   | + pure (\u1 -> (\u2 -> u1))
|         |   | ` pure 'c'
|         |   ` satisfy
|         ` <*>
|           + <*>
|           | + pure cons
|           | ` <*>
|           |   + <*>
|           |   | + pure (\u1 -> (\u2 -> u1))
|           |   | ` pure 'd'
|           |   ` satisfy
|           ` pure Term
` <*>
  + <*>
  | + pure cons
  | ` ref <hidden>
  ` <*>
    + ref <hidden>
    ` pure Term