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