lets
+ let <hidden>
| ` <*>
|   + <*>
|   | + <*>
|   | | + pure (\x_0 -> \x_1 -> x_0)
|   | | ` pure (\x_0 -> x_0)
|   | ` chainPost
|   |   + pure GHC.Tuple.()
|   |   ` <*>
|   |     + <*>
|   |     | + pure (\x_0 -> \x_1 -> \x_2 -> x_0 x_2 x_1)
|   |     | ` pure (\x_0 -> \x_1 -> x_0)
|   |     ` satisfy
|   ` pure GHC.Tuple.()
+ let <hidden>
| ` chainPre
|   + <*>
|   | + pure (GHC.Types.:)
|   | ` <*>
|   |   + <*>
|   |   | + pure (\x_0 -> \x_1 -> x_0)
|   |   | ` conditional
|   |   |   + look
|   |   |   | ` satisfy
|   |   |   + branches
|   |   |   | + <*>
|   |   |   | | + <*>
|   |   |   | | | + pure (\x_0 -> \x_1 -> x_0)
|   |   |   | | | ` pure Parsers.Brainfuck.Types.Backward
|   |   |   | | ` satisfy
|   |   |   | + <*>
|   |   |   | | + <*>
|   |   |   | | | + pure (\x_0 -> \x_1 -> x_0)
|   |   |   | | | ` pure Parsers.Brainfuck.Types.Forward
|   |   |   | | ` satisfy
|   |   |   | + <*>
|   |   |   | | + <*>
|   |   |   | | | + pure (\x_0 -> \x_1 -> x_0)
|   |   |   | | | ` pure Parsers.Brainfuck.Types.Increment
|   |   |   | | ` satisfy
|   |   |   | + <*>
|   |   |   | | + <*>
|   |   |   | | | + pure (\x_0 -> \x_1 -> x_0)
|   |   |   | | | ` pure Parsers.Brainfuck.Types.Decrement
|   |   |   | | ` satisfy
|   |   |   | + <*>
|   |   |   | | + <*>
|   |   |   | | | + pure (\x_0 -> \x_1 -> x_0)
|   |   |   | | | ` pure Parsers.Brainfuck.Types.Input
|   |   |   | | ` satisfy
|   |   |   | + <*>
|   |   |   | | + <*>
|   |   |   | | | + pure (\x_0 -> \x_1 -> x_0)
|   |   |   | | | ` pure Parsers.Brainfuck.Types.Output
|   |   |   | | ` satisfy
|   |   |   | ` <*>
|   |   |   |   + <*>
|   |   |   |   | + pure (\x_0 -> \x_1 -> x_0)
|   |   |   |   | ` <*>
|   |   |   |   |   + <*>
|   |   |   |   |   | + <*>
|   |   |   |   |   | | + pure (\x_0 -> \x_1 -> x_0)
|   |   |   |   |   | | ` pure (\x_0 -> x_0)
|   |   |   |   |   | ` <*>
|   |   |   |   |   |   + <*>
|   |   |   |   |   |   | + pure (\x_0 -> \x_1 -> x_0)
|   |   |   |   |   |   | ` satisfy
|   |   |   |   |   |   ` ref <hidden>
|   |   |   |   |   ` <*>
|   |   |   |   |     + pure Parsers.Brainfuck.Types.Loop
|   |   |   |   |     ` rec <hidden>
|   |   |   |   ` <*>
|   |   |   |     + <*>
|   |   |   |     | + pure (\x_0 -> \x_1 -> x_0)
|   |   |   |     | ` pure ']'
|   |   |   |     ` satisfy
|   |   |   ` failure
|   |   ` ref <hidden>
|   ` pure GHC.Types.[]
` <*>
  + pure GHC.Show.show
  ` <*>
    + <*>
    | + <*>
    | | + pure (\x_0 -> \x_1 -> x_0)
    | | ` pure (\x_0 -> x_0)
    | ` ref <hidden>
    ` ref <hidden>