lets
+ let <hidden>
| ` <*>
|   + <*>
|   | + pure (\x_0 -> \x_1 -> x_1)
|   | ` ref <hidden>
|   ` <|>
|     + <*>
|     | + pure (\x_0 -> GHC.Tuple.())
|     | ` ref <hidden>
|     ` ref <hidden>
+ let <hidden>
| ` <*>
|   + <*>
|   | + <*>
|   | | + <*>
|   | | | + pure (\x_0 -> \x_1 -> \x_2 -> \x_3 -> x_3)
|   | | | ` ref <hidden>
|   | | ` ref <hidden>
|   | ` ref <hidden>
|   ` ref <hidden>
+ let <hidden>
| ` <*>
|   + <*>
|   | + <*>
|   | | + <*>
|   | | | + <*>
|   | | | | + <*>
|   | | | | | + <*>
|   | | | | | | + pure (\x_0 -> \x_1 -> \x_2 -> \x_3 -> \x_4 -> \x_5 -> \x_6 -> x_4)
|   | | | | | | ` satisfy
|   | | | | | ` ref <hidden>
|   | | | | ` ref <hidden>
|   | | | ` ref <hidden>
|   | | ` ref <hidden>
|   | ` satisfy
|   ` ref <hidden>
+ let <hidden>
| ` <*>
|   + <*>
|   | + <*>
|   | | + <*>
|   | | | + <*>
|   | | | | + <*>
|   | | | | | + pure (\x_0 -> \x_1 -> \x_2 -> \x_3 -> \x_4 -> \x_5 -> GHC.Tuple.())
|   | | | | | ` satisfy
|   | | | | ` ref <hidden>
|   | | | ` ref <hidden>
|   | | ` ref <hidden>
|   | ` satisfy
|   ` ref <hidden>
+ let <hidden>
| ` <*>
|   + <*>
|   | + pure (\x_0 -> \x_1 -> '(')
|   | ` satisfy
|   ` ref <hidden>
+ let <hidden>
| ` <*>
|   + <*>
|   | + pure (\x_0 -> \x_1 -> ')')
|   | ` satisfy
|   ` ref <hidden>
+ let <hidden>
| ` <*>
|   + <*>
|   | + pure (\x_0 -> \x_1 -> ',')
|   | ` satisfy
|   ` ref <hidden>
+ let <hidden>
| ` <*>
|   + <*>
|   | + pure (\x_0 -> \x_1 -> ';')
|   | ` satisfy
|   ` ref <hidden>
+ let <hidden>
| ` <*>
|   + <*>
|   | + pure (\x_0 -> \x_1 -> GHC.Tuple.())
|   | ` ref <hidden>
|   ` ref <hidden>
+ let <hidden>
| ` <*>
|   + <*>
|   | + pure (\x_0 -> \x_1 -> x_1)
|   | ` satisfy
|   ` ref <hidden>
+ let <hidden>
| ` <*>
|   + <*>
|   | + pure (\x_0 -> \x_1 -> x_1)
|   | ` try
|   |   ` <*>
|   |     + <*>
|   |     | + <*>
|   |     | | + <*>
|   |     | | | + pure (\x_0 -> \x_1 -> \x_2 -> \x_3 -> x_3)
|   |     | | | ` satisfy
|   |     | | ` ref <hidden>
|   |     | ` ref <hidden>
|   |     ` ref <hidden>
|   ` ref <hidden>
+ let <hidden>
| ` <|>
|   + <*>
|   | + <*>
|   | | + pure (\x_0 -> \x_1 -> x_1)
|   | | ` <|>
|   | |   + <*>
|   | |   | + pure (\x_0 -> '0')
|   | |   | ` satisfy
|   | |   ` <*>
|   | |     + pure (\x_0 -> '1')
|   | |     ` satisfy
|   | ` ref <hidden>
|   ` <|>
|     + <*>
|     | + <*>
|     | | + <*>
|     | | | + <*>
|     | | | | + pure (\x_0 -> \x_1 -> \x_2 -> \x_3 -> x_1)
|     | | | | ` satisfy
|     | | | ` <|>
|     | | |   + <*>
|     | | |   | + <*>
|     | | |   | | + pure (\x_0 -> \x_1 -> x_1)
|     | | |   | | ` satisfy
|     | | |   | ` ref <hidden>
|     | | |   ` <*>
|     | | |     + <*>
|     | | |     | + <*>
|     | | |     | | + pure (\x_0 -> \x_1 -> \x_2 -> x_2)
|     | | |     | | ` satisfy
|     | | |     | ` satisfy
|     | | |     ` ref <hidden>
|     | | ` satisfy
|     | ` ref <hidden>
|     ` <*>
|       + <*>
|       | + pure (\x_0 -> \x_1 -> x_1)
|       | ` ref <hidden>
|       ` <|>
|         + <*>
|         | + pure (\x_0 -> GHC.Tuple.())
|         | ` <|>
|         |   + <*>
|         |   | + <*>
|         |   | | + <*>
|         |   | | | + pure (\x_0 -> \x_1 -> \x_2 -> x_1)
|         |   | | | ` ref <hidden>
|         |   | | ` <|>
|         |   | |   + <*>
|         |   | |   | + <*>
|         |   | |   | | + <*>
|         |   | |   | | | + <*>
|         |   | |   | | | | + pure (\x_0 -> \x_1 -> \x_2 -> \x_3 -> GHC.Tuple.())
|         |   | |   | | | | ` rec <hidden>
|         |   | |   | | | ` ref <hidden>
|         |   | |   | | ` ref <hidden>
|         |   | |   | ` ref <hidden>
|         |   | |   ` ref <hidden>
|         |   | ` ref <hidden>
|         |   ` ref <hidden>
|         ` ref <hidden>
+ let <hidden>
| ` <|>
|   + <*>
|   | + <*>
|   | | + <*>
|   | | | + <*>
|   | | | | + pure (\x_0 -> \x_1 -> \x_2 -> \x_3 -> \x_4 -> x_0 x_2 (x_3 x_4))
|   | | | | ` ref <hidden>
|   | | | ` ref <hidden>
|   | | ` rec <hidden>
|   | ` rec <hidden>
|   ` pure (\x_0 -> x_0)
+ let <hidden>
| ` <|>
|   + <*>
|   | + <*>
|   | | + <*>
|   | | | + <*>
|   | | | | + <*>
|   | | | | | + <*>
|   | | | | | | + <*>
|   | | | | | | | + <*>
|   | | | | | | | | + <*>
|   | | | | | | | | | + pure (\x_0 -> \x_1 -> \x_2 -> \x_3 -> \x_4 -> \x_5 -> \x_6 -> \x_7 -> \x_8 -> \x_9 -> x_8 x_9)
|   | | | | | | | | | ` try
|   | | | | | | | | |   ` <*>
|   | | | | | | | | |     + <*>
|   | | | | | | | | |     | + <*>
|   | | | | | | | | |     | | + <*>
|   | | | | | | | | |     | | | + <*>
|   | | | | | | | | |     | | | | + <*>
|   | | | | | | | | |     | | | | | + <*>
|   | | | | | | | | |     | | | | | | + <*>
|   | | | | | | | | |     | | | | | | | + pure (\x_0 -> \x_1 -> \x_2 -> \x_3 -> \x_4 -> \x_5 -> \x_6 -> \x_7 -> (GHC.Types.:) 'f' ((GHC.Types.:) 'u' ((GHC.Types.:) 'n' ((GHC.Types.:) 'c' ((GHC.Types.:) 't' ((GHC.Types.:) 'i' ((GHC.Types.:) 'o' ((GHC.Types.:) 'n' GHC.Types.[]))))))))
|   | | | | | | | | |     | | | | | | | ` satisfy
|   | | | | | | | | |     | | | | | | ` satisfy
|   | | | | | | | | |     | | | | | ` satisfy
|   | | | | | | | | |     | | | | ` satisfy
|   | | | | | | | | |     | | | ` satisfy
|   | | | | | | | | |     | | ` satisfy
|   | | | | | | | | |     | ` satisfy
|   | | | | | | | | |     ` satisfy
|   | | | | | | | | ` ref <hidden>
|   | | | | | | | ` ref <hidden>
|   | | | | | | ` ref <hidden>
|   | | | | | ` ref <hidden>
|   | | | | ` <|>
|   | | | |   + <*>
|   | | | |   | + <*>
|   | | | |   | | + <*>
|   | | | |   | | | + pure (\x_0 -> \x_1 -> \x_2 -> GHC.Tuple.())
|   | | | |   | | | ` satisfy
|   | | | |   | | ` ref <hidden>
|   | | | |   | ` ref <hidden>
|   | | | |   ` ref <hidden>
|   | | | ` ref <hidden>
|   | | ` ref <hidden>
|   | ` rec <hidden>
|   ` pure (\x_0 -> x_0)
+ let <hidden>
| ` <|>
|   + <*>
|   | + <*>
|   | | + <*>
|   | | | + <*>
|   | | | | + pure (\x_0 -> \x_1 -> \x_2 -> \x_3 -> \x_4 -> x_0 x_2 (x_3 x_4))
|   | | | | ` ref <hidden>
|   | | | ` ref <hidden>
|   | | ` ref <hidden>
|   | ` rec <hidden>
|   ` pure (\x_0 -> x_0)
+ let <hidden>
| ` <|>
|   + <*>
|   | + <*>
|   | | + <*>
|   | | | + <*>
|   | | | | + pure (\x_0 -> \x_1 -> \x_2 -> \x_3 -> \x_4 -> x_0 x_2 (x_3 x_4))
|   | | | | ` ref <hidden>
|   | | | ` ref <hidden>
|   | | ` ref <hidden>
|   | ` rec <hidden>
|   ` pure (\x_0 -> x_0)
+ let <hidden>
| ` <|>
|   + <*>
|   | + <*>
|   | | + <*>
|   | | | + <*>
|   | | | | + pure (\x_0 -> \x_1 -> \x_2 -> \x_3 -> \x_4 -> x_0 x_2 (x_3 x_4))
|   | | | | ` ref <hidden>
|   | | | ` ref <hidden>
|   | | ` ref <hidden>
|   | ` rec <hidden>
|   ` pure (\x_0 -> x_0)
+ let <hidden>
| ` <|>
|   + <*>
|   | + <*>
|   | | + <*>
|   | | | + <*>
|   | | | | + pure (\x_0 -> \x_1 -> \x_2 -> \x_3 -> \x_4 -> x_3 x_4)
|   | | | | ` satisfy
|   | | | ` ref <hidden>
|   | | ` ref <hidden>
|   | ` rec <hidden>
|   ` pure (\x_0 -> x_0)
+ let <hidden>
| ` <|>
|   + <*>
|   | + <*>
|   | | + pure (\x_0 -> \x_1 -> \x_2 -> x_1 x_2)
|   | | ` <|>
|   | |   + <*>
|   | |   | + <*>
|   | |   | | + pure (\x_0 -> \x_1 -> x_1)
|   | |   | | ` try
|   | |   | |   ` <*>
|   | |   | |     + <*>
|   | |   | |     | + pure (\x_0 -> \x_1 -> (GHC.Types.:) 'i' ((GHC.Types.:) 'f' GHC.Types.[]))
|   | |   | |     | ` satisfy
|   | |   | |     ` satisfy
|   | |   | ` ref <hidden>
|   | |   ` <|>
|   | |     + <*>
|   | |     | + <*>
|   | |     | | + <*>
|   | |     | | | + <*>
|   | |     | | | | + pure (\x_0 -> \x_1 -> \x_2 -> \x_3 -> x_3)
|   | |     | | | | ` try
|   | |     | | | |   ` <*>
|   | |     | | | |     + <*>
|   | |     | | | |     | + <*>
|   | |     | | | |     | | + <*>
|   | |     | | | |     | | | + <*>
|   | |     | | | |     | | | | + pure (\x_0 -> \x_1 -> \x_2 -> \x_3 -> \x_4 -> (GHC.Types.:) 'w' ((GHC.Types.:) 'h' ((GHC.Types.:) 'i' ((GHC.Types.:) 'l' ((GHC.Types.:) 'e' GHC.Types.[])))))
|   | |     | | | |     | | | | ` satisfy
|   | |     | | | |     | | | ` satisfy
|   | |     | | | |     | | ` satisfy
|   | |     | | | |     | ` satisfy
|   | |     | | | |     ` satisfy
|   | |     | | | ` ref <hidden>
|   | |     | | ` ref <hidden>
|   | |     | ` rec <hidden>
|   | |     ` <|>
|   | |       + try
|   | |       | ` <*>
|   | |       |   + <*>
|   | |       |   | + <*>
|   | |       |   | | + <*>
|   | |       |   | | | + <*>
|   | |       |   | | | | + <*>
|   | |       |   | | | | | + <*>
|   | |       |   | | | | | | + <*>
|   | |       |   | | | | | | | + <*>
|   | |       |   | | | | | | | | + <*>
|   | |       |   | | | | | | | | | + <*>
|   | |       |   | | | | | | | | | | + <*>
|   | |       |   | | | | | | | | | | | + pure (\x_0 -> \x_1 -> \x_2 -> \x_3 -> \x_4 -> \x_5 -> \x_6 -> \x_7 -> \x_8 -> \x_9 -> \x_10 -> \x_11 -> x_10)
|   | |       |   | | | | | | | | | | | ` <|>
|   | |       |   | | | | | | | | | | |   + <*>
|   | |       |   | | | | | | | | | | |   | + <*>
|   | |       |   | | | | | | | | | | |   | | + pure (\x_0 -> \x_1 -> GHC.Tuple.())
|   | |       |   | | | | | | | | | | |   | | ` try
|   | |       |   | | | | | | | | | | |   | |   ` <*>
|   | |       |   | | | | | | | | | | |   | |     + <*>
|   | |       |   | | | | | | | | | | |   | |     | + <*>
|   | |       |   | | | | | | | | | | |   | |     | | + pure (\x_0 -> \x_1 -> \x_2 -> (GHC.Types.:) 'v' ((GHC.Types.:) 'a' ((GHC.Types.:) 'r' GHC.Types.[])))
|   | |       |   | | | | | | | | | | |   | |     | | ` satisfy
|   | |       |   | | | | | | | | | | |   | |     | ` satisfy
|   | |       |   | | | | | | | | | | |   | |     ` satisfy
|   | |       |   | | | | | | | | | | |   | ` ref <hidden>
|   | |       |   | | | | | | | | | | |   ` ref <hidden>
|   | |       |   | | | | | | | | | | ` ref <hidden>
|   | |       |   | | | | | | | | | ` ref <hidden>
|   | |       |   | | | | | | | | ` ref <hidden>
|   | |       |   | | | | | | | ` ref <hidden>
|   | |       |   | | | | | | ` satisfy
|   | |       |   | | | | | ` ref <hidden>
|   | |       |   | | | | ` ref <hidden>
|   | |       |   | | | ` ref <hidden>
|   | |       |   | | ` ref <hidden>
|   | |       |   | ` ref <hidden>
|   | |       |   ` ref <hidden>
|   | |       ` <*>
|   | |         + <*>
|   | |         | + pure (\x_0 -> \x_1 -> x_0)
|   | |         | ` ref <hidden>
|   | |         ` ref <hidden>
|   | ` rec <hidden>
|   ` pure (\x_0 -> x_0)
+ let <hidden>
| ` <|>
|   + <*>
|   | + <*>
|   | | + pure (\x_0 -> \x_1 -> \x_2 -> x_1 x_2)
|   | | ` ref <hidden>
|   | ` rec <hidden>
|   ` pure (\x_0 -> x_0)
+ let <hidden>
| ` <|>
|   + <*>
|   | + <*>
|   | | + pure (\x_0 -> \x_1 -> \x_2 -> x_1 x_2)
|   | | ` 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)
+ let <hidden>
| ` <|>
|   + <*>
|   | + <*>
|   | | + <*>
|   | | | + <*>
|   | | | | + pure (\x_0 -> \x_1 -> \x_2 -> \x_3 -> GHC.Tuple.())
|   | | | | ` ref <hidden>
|   | | | ` ref <hidden>
|   | | ` ref <hidden>
|   | ` ref <hidden>
|   ` ref <hidden>
+ let <hidden>
| ` pure (\x_0 -> \x_1 -> x_1)
+ let <hidden>
| ` pure GHC.Tuple.()
+ let <hidden>
| ` pure GHC.Tuple.()
+ let <hidden>
| ` satisfy
` <*>
  + <*>
  | + <*>
  | | + <*>
  | | | + <*>
  | | | | + pure (\x_0 -> \x_1 -> \x_2 -> \x_3 -> \x_4 -> GHC.Show.show x_3)
  | | | | ` ref <hidden>
  | | | ` ref <hidden>
  | | ` ref <hidden>
  | ` ref <hidden>
  ` eof