lets
+ let <hidden>
| ` <*>
|   + <*>
|   | + <*>
|   | | + pure (\x_0 -> \x_1 -> x_0)
|   | | ` pure (\x_0 -> x_0)
|   | ` <*>
|   |   + <*>
|   |   | + pure ((\x_0 -> \x_1 -> \x_2 -> x_0 x_2 x_1) (\x_3 -> \x_4 -> x_3 x_4))
|   |   | ` pure (GHC.Tuple.())
|   |   ` ref <hidden>
|   ` pure (GHC.Tuple.())
+ let <hidden>
| ` <*>
|   + ref <hidden>
|   ` pure (GHC.Types.[])
+ let <hidden>
| ` <|>
|   + <*>
|   | + <*>
|   | | + pure (\x_0 -> \x_1 -> \x_2 -> x_0 (x_1 x_2))
|   | | ` <*>
|   | |   + <*>
|   | |   | + pure (\x_0 -> \x_1 -> \x_2 -> x_0 x_2 x_1)
|   | |   | ` pure (\x_0 -> \x_1 -> x_0)
|   | |   ` satisfy
|   | ` rec <hidden>
|   ` pure (\x_0 -> x_0)
+ 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)
|   | |     | ` 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>
|   | ` rec <hidden>
|   ` pure (\x_0 -> x_0)
` <*>
  + pure (GHC.Show.show)
  ` <*>
    + <*>
    | + <*>
    | | + pure (\x_0 -> \x_1 -> x_0)
    | | ` pure (\x_0 -> x_0)
    | ` ref <hidden>
    ` ref <hidden>