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