lets
+ let <hidden>
| ` <|>
|   + <*>
|   | + <*>
|   | | + pure \x_0 -> \x_1 -> \x_2 -> x_0 (x_1 x_2)
|   | | ` <*>
|   | |   + pure (GHC.Types.:)
|   | |   ` ref <hidden>
|   | ` rec <hidden>
|   ` pure \x_0 -> x_0
+ let <hidden>
| ` try
|   ` <*>
|     + <*>
|     | + pure (GHC.Types.:)
|     | ` <*>
|     |   + <*>
|     |   | + pure \x_0 -> \x_1 -> x_0
|     |   | ` pure 'a'
|     |   ` satisfy
|     ` <*>
|       + <*>
|       | + pure (GHC.Types.:)
|       | ` <*>
|       |   + <*>
|       |   | + pure \x_0 -> \x_1 -> x_0
|       |   | ` pure 'b'
|       |   ` satisfy
|       ` <*>
|         + <*>
|         | + pure (GHC.Types.:)
|         | ` <*>
|         |   + <*>
|         |   | + pure \x_0 -> \x_1 -> x_0
|         |   | ` pure 'c'
|         |   ` satisfy
|         ` <*>
|           + <*>
|           | + pure (GHC.Types.:)
|           | ` <*>
|           |   + <*>
|           |   | + pure \x_0 -> \x_1 -> x_0
|           |   | ` pure 'd'
|           |   ` satisfy
|           ` pure GHC.Types.[]
` <*>
  + pure GHC.Show.show
  ` <*>
    + <*>
    | + pure (GHC.Types.:)
    | ` ref <hidden>
    ` <*>
      + ref <hidden>
      ` pure GHC.Types.[]