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.[])