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