symantic-parser-0.2.0.20210703: test/Golden/Grammar/ViewGrammar/G14.expected.txt

lets
+ let <hidden>
| ` <*>
|   + <*>
|   | + <*>
|   | | + pure (\x_0 -> \x_1 -> x_0)
|   | | ` pure (\x_0 -> x_0)
|   | ` ref <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>
| ` <*>
|   + <*>
|   | + <*>
|   | | + pure (\x_0 -> \x_1 -> x_0)
|   | | ` pure (\x_0 -> x_0)
|   | ` ref <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))
|     |   | ` ref <hidden>
|     |   ` ref <hidden>
|     ` ref <hidden>
+ let <hidden>
| ` <*>
|   + <*>
|   | + 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)
|   |   |   | ` <*>
|   |   |   |   + <*>
|   |   |   |   | + pure (\x_0 -> \x_1 -> x_0)
|   |   |   |   | ` pure '['
|   |   |   |   ` satisfy
|   |   |   ` ref <hidden>
|   |   ` <*>
|   |     + <*>
|   |     | + <*>
|   |     | | + pure (\x_0 -> \x_1 -> x_0)
|   |     | | ` pure (\x_0 -> x_0)
|   |     | ` ref <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.()
|   ` <*>
|     + <*>
|     | + pure (\x_0 -> \x_1 -> x_0)
|     | ` <*>
|     |   + <*>
|     |   | + pure (\x_0 -> \x_1 -> x_0)
|     |   | ` pure ']'
|     |   ` satisfy
|     ` ref <hidden>
+ let <hidden>
| ` <*>
|   + <*>
|   | + 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)
|   |   |   | ` <*>
|   |   |   |   + <*>
|   |   |   |   | + pure (\x_0 -> \x_1 -> x_0)
|   |   |   |   | ` pure '{'
|   |   |   |   ` satisfy
|   |   |   ` ref <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))
|   |     |   | ` ref <hidden>
|   |     |   ` ref <hidden>
|   |     ` ref <hidden>
|   ` <*>
|     + <*>
|     | + pure (\x_0 -> \x_1 -> x_0)
|     | ` <*>
|     |   + <*>
|     |   | + pure (\x_0 -> \x_1 -> x_0)
|     |   | ` pure '}'
|     |   ` satisfy
|     ` ref <hidden>
+ let <hidden>
| ` <*>
|   + <*>
|   | + <*>
|   | | + pure (\x_0 -> \x_1 -> x_0)
|   | | ` pure (\x_0 -> x_0)
|   | ` ref <hidden>
|   ` <|>
|     + <*>
|     | + <*>
|     | | + pure (\x_0 -> \x_1 -> x_0)
|     | | ` pure GHC.Tuple.()
|     | ` ref <hidden>
|     ` ref <hidden>
+ let <hidden>
| ` <*>
|   + <*>
|   | + <*>
|   | | + pure (\x_0 -> \x_1 -> x_0)
|   | | ` pure (\x_0 -> x_0)
|   | ` satisfy
|   ` ref <hidden>
+ let <hidden>
| ` <*>
|   + <*>
|   | + <*>
|   | | + pure (\x_0 -> \x_1 -> x_0)
|   | | ` pure (\x_0 -> x_0)
|   | ` try
|   |   ` <*>
|   |     + <*>
|   |     | + <*>
|   |     | | + pure (\x_0 -> \x_1 -> x_0)
|   |     | | ` pure (\x_0 -> x_0)
|   |     | ` satisfy
|   |     ` <*>
|   |       + <*>
|   |       | + <*>
|   |       | | + 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))
|   |       |   | ` ref <hidden>
|   |       |   ` ref <hidden>
|   |       ` ref <hidden>
|   ` ref <hidden>
+ let <hidden>
| ` <*>
|   + <*>
|   | + pure (\x_0 -> \x_1 -> x_0)
|   | ` <*>
|   |   + <*>
|   |   | + pure (\x_0 -> \x_1 -> x_0)
|   |   | ` pure '('
|   |   ` satisfy
|   ` ref <hidden>
+ let <hidden>
| ` <*>
|   + <*>
|   | + pure (\x_0 -> \x_1 -> x_0)
|   | ` <*>
|   |   + <*>
|   |   | + pure (\x_0 -> \x_1 -> x_0)
|   |   | ` pure ')'
|   |   ` satisfy
|   ` ref <hidden>
+ let <hidden>
| ` <*>
|   + <*>
|   | + pure (\x_0 -> \x_1 -> x_0)
|   | ` <*>
|   |   + <*>
|   |   | + pure (\x_0 -> \x_1 -> x_0)
|   |   | ` pure ','
|   |   ` satisfy
|   ` ref <hidden>
+ let <hidden>
| ` <*>
|   + <*>
|   | + pure (\x_0 -> \x_1 -> x_0)
|   | ` <*>
|   |   + <*>
|   |   | + pure (\x_0 -> \x_1 -> x_0)
|   |   | ` pure ';'
|   |   ` satisfy
|   ` ref <hidden>
+ let <hidden>
| ` <*>
|   + pure (\x_0 -> \x_1 -> \x_2 -> x_0 x_2 x_1)
|   ` pure (\x_0 -> \x_1 -> x_0)
+ 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)
|   | |   ` <*>
|   | |     + <*>
|   | |     | + <*>
|   | |     | | + pure (\x_0 -> \x_1 -> x_0)
|   | |     | | ` pure (\x_0 -> x_0)
|   | |     | ` <*>
|   | |     |   + <*>
|   | |     |   | + <*>
|   | |     |   | | + pure (\x_0 -> \x_1 -> x_0)
|   | |     |   | | ` pure (\x_0 -> x_0)
|   | |     |   | ` <*>
|   | |     |   |   + <*>
|   | |     |   |   | + <*>
|   | |     |   |   | | + pure (\x_0 -> \x_1 -> x_0)
|   | |     |   |   | | ` pure (\x_0 -> x_0)
|   | |     |   |   | ` <*>
|   | |     |   |   |   + <*>
|   | |     |   |   |   | + <*>
|   | |     |   |   |   | | + pure (\x_0 -> \x_1 -> x_0)
|   | |     |   |   |   | | ` pure (\x_0 -> x_0)
|   | |     |   |   |   | ` try
|   | |     |   |   |   |   ` <*>
|   | |     |   |   |   |     + <*>
|   | |     |   |   |   |     | + pure (GHC.Types.:)
|   | |     |   |   |   |     | ` <*>
|   | |     |   |   |   |     |   + <*>
|   | |     |   |   |   |     |   | + pure (\x_0 -> \x_1 -> x_0)
|   | |     |   |   |   |     |   | ` pure 'f'
|   | |     |   |   |   |     |   ` satisfy
|   | |     |   |   |   |     ` <*>
|   | |     |   |   |   |       + <*>
|   | |     |   |   |   |       | + pure (GHC.Types.:)
|   | |     |   |   |   |       | ` <*>
|   | |     |   |   |   |       |   + <*>
|   | |     |   |   |   |       |   | + pure (\x_0 -> \x_1 -> x_0)
|   | |     |   |   |   |       |   | ` pure 'u'
|   | |     |   |   |   |       |   ` satisfy
|   | |     |   |   |   |       ` <*>
|   | |     |   |   |   |         + <*>
|   | |     |   |   |   |         | + pure (GHC.Types.:)
|   | |     |   |   |   |         | ` <*>
|   | |     |   |   |   |         |   + <*>
|   | |     |   |   |   |         |   | + pure (\x_0 -> \x_1 -> x_0)
|   | |     |   |   |   |         |   | ` pure 'n'
|   | |     |   |   |   |         |   ` satisfy
|   | |     |   |   |   |         ` <*>
|   | |     |   |   |   |           + <*>
|   | |     |   |   |   |           | + pure (GHC.Types.:)
|   | |     |   |   |   |           | ` <*>
|   | |     |   |   |   |           |   + <*>
|   | |     |   |   |   |           |   | + pure (\x_0 -> \x_1 -> x_0)
|   | |     |   |   |   |           |   | ` pure 'c'
|   | |     |   |   |   |           |   ` satisfy
|   | |     |   |   |   |           ` <*>
|   | |     |   |   |   |             + <*>
|   | |     |   |   |   |             | + pure (GHC.Types.:)
|   | |     |   |   |   |             | ` <*>
|   | |     |   |   |   |             |   + <*>
|   | |     |   |   |   |             |   | + pure (\x_0 -> \x_1 -> x_0)
|   | |     |   |   |   |             |   | ` pure 't'
|   | |     |   |   |   |             |   ` satisfy
|   | |     |   |   |   |             ` <*>
|   | |     |   |   |   |               + <*>
|   | |     |   |   |   |               | + pure (GHC.Types.:)
|   | |     |   |   |   |               | ` <*>
|   | |     |   |   |   |               |   + <*>
|   | |     |   |   |   |               |   | + pure (\x_0 -> \x_1 -> x_0)
|   | |     |   |   |   |               |   | ` pure 'i'
|   | |     |   |   |   |               |   ` satisfy
|   | |     |   |   |   |               ` <*>
|   | |     |   |   |   |                 + <*>
|   | |     |   |   |   |                 | + pure (GHC.Types.:)
|   | |     |   |   |   |                 | ` <*>
|   | |     |   |   |   |                 |   + <*>
|   | |     |   |   |   |                 |   | + pure (\x_0 -> \x_1 -> x_0)
|   | |     |   |   |   |                 |   | ` pure 'o'
|   | |     |   |   |   |                 |   ` satisfy
|   | |     |   |   |   |                 ` <*>
|   | |     |   |   |   |                   + <*>
|   | |     |   |   |   |                   | + pure (GHC.Types.:)
|   | |     |   |   |   |                   | ` <*>
|   | |     |   |   |   |                   |   + <*>
|   | |     |   |   |   |                   |   | + pure (\x_0 -> \x_1 -> x_0)
|   | |     |   |   |   |                   |   | ` pure 'n'
|   | |     |   |   |   |                   |   ` satisfy
|   | |     |   |   |   |                   ` pure GHC.Types.[]
|   | |     |   |   |   ` ref <hidden>
|   | |     |   |   ` ref <hidden>
|   | |     |   ` <*>
|   | |     |     + <*>
|   | |     |     | + pure (\x_0 -> \x_1 -> x_0)
|   | |     |     | ` <*>
|   | |     |     |   + <*>
|   | |     |     |   | + <*>
|   | |     |     |   | | + pure (\x_0 -> \x_1 -> x_0)
|   | |     |     |   | | ` pure (\x_0 -> x_0)
|   | |     |     |   | ` ref <hidden>
|   | |     |     |   ` <*>
|   | |     |     |     + <*>
|   | |     |     |     | + <*>
|   | |     |     |     | | + pure (\x_0 -> \x_1 -> x_0)
|   | |     |     |     | | ` pure (\x_0 -> x_0)
|   | |     |     |     | ` ref <hidden>
|   | |     |     |     ` <|>
|   | |     |     |       + <*>
|   | |     |     |       | + <*>
|   | |     |     |       | | + pure (\x_0 -> \x_1 -> x_0)
|   | |     |     |       | | ` pure GHC.Tuple.()
|   | |     |     |       | ` <*>
|   | |     |     |       |   + <*>
|   | |     |     |       |   | + <*>
|   | |     |     |       |   | | + pure (\x_0 -> \x_1 -> x_0)
|   | |     |     |       |   | | ` pure (\x_0 -> x_0)
|   | |     |     |       |   | ` <*>
|   | |     |     |       |   |   + <*>
|   | |     |     |       |   |   | + pure (\x_0 -> \x_1 -> x_0)
|   | |     |     |       |   |   | ` <*>
|   | |     |     |       |   |   |   + <*>
|   | |     |     |       |   |   |   | + pure (\x_0 -> \x_1 -> x_0)
|   | |     |     |       |   |   |   | ` pure ':'
|   | |     |     |       |   |   |   ` 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_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)
|   | |   ` <*>
|   | |     + <*>
|   | |     | + <*>
|   | |     | | + pure (\x_0 -> \x_1 -> x_0)
|   | |     | | ` pure (\x_0 -> x_0)
|   | |     | ` <*>
|   | |     |   + <*>
|   | |     |   | + pure (\x_0 -> \x_1 -> x_0)
|   | |     |   | ` <*>
|   | |     |   |   + <*>
|   | |     |   |   | + pure (\x_0 -> \x_1 -> x_0)
|   | |     |   |   | ` pure '!'
|   | |     |   |   ` satisfy
|   | |     |   ` ref <hidden>
|   | |     ` ref <hidden>
|   | ` rec <hidden>
|   ` pure (\x_0 -> x_0)
+ 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)
|   | |   ` <|>
|   | |     + <|>
|   | |     | + <|>
|   | |     | | + <*>
|   | |     | | | + <*>
|   | |     | | | | + <*>
|   | |     | | | | | + pure (\x_0 -> \x_1 -> x_0)
|   | |     | | | | | ` pure (\x_0 -> x_0)
|   | |     | | | | ` try
|   | |     | | | |   ` <*>
|   | |     | | | |     + <*>
|   | |     | | | |     | + pure (GHC.Types.:)
|   | |     | | | |     | ` <*>
|   | |     | | | |     |   + <*>
|   | |     | | | |     |   | + pure (\x_0 -> \x_1 -> x_0)
|   | |     | | | |     |   | ` pure 'i'
|   | |     | | | |     |   ` satisfy
|   | |     | | | |     ` <*>
|   | |     | | | |       + <*>
|   | |     | | | |       | + pure (GHC.Types.:)
|   | |     | | | |       | ` <*>
|   | |     | | | |       |   + <*>
|   | |     | | | |       |   | + pure (\x_0 -> \x_1 -> x_0)
|   | |     | | | |       |   | ` pure 'f'
|   | |     | | | |       |   ` satisfy
|   | |     | | | |       ` pure GHC.Types.[]
|   | |     | | | ` ref <hidden>
|   | |     | | ` <*>
|   | |     | |   + <*>
|   | |     | |   | + <*>
|   | |     | |   | | + pure (\x_0 -> \x_1 -> x_0)
|   | |     | |   | | ` pure (\x_0 -> x_0)
|   | |     | |   | ` <*>
|   | |     | |   |   + <*>
|   | |     | |   |   | + <*>
|   | |     | |   |   | | + pure (\x_0 -> \x_1 -> x_0)
|   | |     | |   |   | | ` pure (\x_0 -> x_0)
|   | |     | |   |   | ` <*>
|   | |     | |   |   |   + <*>
|   | |     | |   |   |   | + <*>
|   | |     | |   |   |   | | + pure (\x_0 -> \x_1 -> x_0)
|   | |     | |   |   |   | | ` pure (\x_0 -> x_0)
|   | |     | |   |   |   | ` try
|   | |     | |   |   |   |   ` <*>
|   | |     | |   |   |   |     + <*>
|   | |     | |   |   |   |     | + pure (GHC.Types.:)
|   | |     | |   |   |   |     | ` <*>
|   | |     | |   |   |   |     |   + <*>
|   | |     | |   |   |   |     |   | + pure (\x_0 -> \x_1 -> x_0)
|   | |     | |   |   |   |     |   | ` pure 'w'
|   | |     | |   |   |   |     |   ` satisfy
|   | |     | |   |   |   |     ` <*>
|   | |     | |   |   |   |       + <*>
|   | |     | |   |   |   |       | + pure (GHC.Types.:)
|   | |     | |   |   |   |       | ` <*>
|   | |     | |   |   |   |       |   + <*>
|   | |     | |   |   |   |       |   | + pure (\x_0 -> \x_1 -> x_0)
|   | |     | |   |   |   |       |   | ` pure 'h'
|   | |     | |   |   |   |       |   ` satisfy
|   | |     | |   |   |   |       ` <*>
|   | |     | |   |   |   |         + <*>
|   | |     | |   |   |   |         | + pure (GHC.Types.:)
|   | |     | |   |   |   |         | ` <*>
|   | |     | |   |   |   |         |   + <*>
|   | |     | |   |   |   |         |   | + pure (\x_0 -> \x_1 -> x_0)
|   | |     | |   |   |   |         |   | ` pure 'i'
|   | |     | |   |   |   |         |   ` satisfy
|   | |     | |   |   |   |         ` <*>
|   | |     | |   |   |   |           + <*>
|   | |     | |   |   |   |           | + pure (GHC.Types.:)
|   | |     | |   |   |   |           | ` <*>
|   | |     | |   |   |   |           |   + <*>
|   | |     | |   |   |   |           |   | + pure (\x_0 -> \x_1 -> x_0)
|   | |     | |   |   |   |           |   | ` pure 'l'
|   | |     | |   |   |   |           |   ` satisfy
|   | |     | |   |   |   |           ` <*>
|   | |     | |   |   |   |             + <*>
|   | |     | |   |   |   |             | + pure (GHC.Types.:)
|   | |     | |   |   |   |             | ` <*>
|   | |     | |   |   |   |             |   + <*>
|   | |     | |   |   |   |             |   | + pure (\x_0 -> \x_1 -> x_0)
|   | |     | |   |   |   |             |   | ` pure 'e'
|   | |     | |   |   |   |             |   ` satisfy
|   | |     | |   |   |   |             ` pure GHC.Types.[]
|   | |     | |   |   |   ` ref <hidden>
|   | |     | |   |   ` ref <hidden>
|   | |     | |   ` rec <hidden>
|   | |     | ` try
|   | |     |   ` <*>
|   | |     |     + <*>
|   | |     |     | + 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)
|   | |     |     |   |   | | ` pure (\x_0 -> x_0)
|   | |     |     |   |   | ` <*>
|   | |     |     |   |   |   + <*>
|   | |     |     |   |   |   | + <*>
|   | |     |     |   |   |   | | + pure (\x_0 -> \x_1 -> x_0)
|   | |     |     |   |   |   | | ` pure (\x_0 -> x_0)
|   | |     |     |   |   |   | ` <|>
|   | |     |     |   |   |   |   + <*>
|   | |     |     |   |   |   |   | + <*>
|   | |     |     |   |   |   |   | | + pure (\x_0 -> \x_1 -> x_0)
|   | |     |     |   |   |   |   | | ` pure GHC.Tuple.()
|   | |     |     |   |   |   |   | ` <*>
|   | |     |     |   |   |   |   |   + <*>
|   | |     |     |   |   |   |   |   | + <*>
|   | |     |     |   |   |   |   |   | | + pure (\x_0 -> \x_1 -> x_0)
|   | |     |     |   |   |   |   |   | | ` pure (\x_0 -> x_0)
|   | |     |     |   |   |   |   |   | ` try
|   | |     |     |   |   |   |   |   |   ` <*>
|   | |     |     |   |   |   |   |   |     + <*>
|   | |     |     |   |   |   |   |   |     | + pure (GHC.Types.:)
|   | |     |     |   |   |   |   |   |     | ` <*>
|   | |     |     |   |   |   |   |   |     |   + <*>
|   | |     |     |   |   |   |   |   |     |   | + pure (\x_0 -> \x_1 -> x_0)
|   | |     |     |   |   |   |   |   |     |   | ` pure 'v'
|   | |     |     |   |   |   |   |   |     |   ` satisfy
|   | |     |     |   |   |   |   |   |     ` <*>
|   | |     |     |   |   |   |   |   |       + <*>
|   | |     |     |   |   |   |   |   |       | + pure (GHC.Types.:)
|   | |     |     |   |   |   |   |   |       | ` <*>
|   | |     |     |   |   |   |   |   |       |   + <*>
|   | |     |     |   |   |   |   |   |       |   | + pure (\x_0 -> \x_1 -> x_0)
|   | |     |     |   |   |   |   |   |       |   | ` pure 'a'
|   | |     |     |   |   |   |   |   |       |   ` satisfy
|   | |     |     |   |   |   |   |   |       ` <*>
|   | |     |     |   |   |   |   |   |         + <*>
|   | |     |     |   |   |   |   |   |         | + pure (GHC.Types.:)
|   | |     |     |   |   |   |   |   |         | ` <*>
|   | |     |     |   |   |   |   |   |         |   + <*>
|   | |     |     |   |   |   |   |   |         |   | + pure (\x_0 -> \x_1 -> x_0)
|   | |     |     |   |   |   |   |   |         |   | ` pure 'r'
|   | |     |     |   |   |   |   |   |         |   ` satisfy
|   | |     |     |   |   |   |   |   |         ` pure GHC.Types.[]
|   | |     |     |   |   |   |   |   ` ref <hidden>
|   | |     |     |   |   |   |   ` ref <hidden>
|   | |     |     |   |   |   ` <*>
|   | |     |     |   |   |     + <*>
|   | |     |     |   |   |     | + <*>
|   | |     |     |   |   |     | | + pure (\x_0 -> \x_1 -> x_0)
|   | |     |     |   |   |     | | ` pure (\x_0 -> x_0)
|   | |     |     |   |   |     | ` ref <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))
|   | |     |     |   |   |       |   | ` ref <hidden>
|   | |     |     |   |   |       |   ` ref <hidden>
|   | |     |     |   |   |       ` ref <hidden>
|   | |     |     |   |   ` <*>
|   | |     |     |   |     + <*>
|   | |     |     |   |     | + pure (\x_0 -> \x_1 -> x_0)
|   | |     |     |   |     | ` <*>
|   | |     |     |   |     |   + <*>
|   | |     |     |   |     |   | + pure (\x_0 -> \x_1 -> x_0)
|   | |     |     |   |     |   | ` pure '='
|   | |     |     |   |     |   ` satisfy
|   | |     |     |   |     ` ref <hidden>
|   | |     |     |   ` <*>
|   | |     |     |     + <*>
|   | |     |     |     | + <*>
|   | |     |     |     | | + pure (\x_0 -> \x_1 -> x_0)
|   | |     |     |     | | ` pure (\x_0 -> x_0)
|   | |     |     |     | ` ref <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))
|   | |     |     |       |   | ` 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_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)
|   | |   ` ref <hidden>
|   | ` rec <hidden>
|   ` pure (\x_0 -> x_0)
+ 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)
|   | |   ` ref <hidden>
|   | ` rec <hidden>
|   ` pure (\x_0 -> x_0)
+ 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))
|   | | ` <*>
|   | |   + ref <hidden>
|   | |   ` <*>
|   | |     + <*>
|   | |     | + <*>
|   | |     | | + pure (\x_0 -> \x_1 -> x_0)
|   | |     | | ` pure (\x_0 -> x_0)
|   | |     | ` ref <hidden>
|   | |     ` rec <hidden>
|   | ` rec <hidden>
|   ` pure (\x_0 -> x_0)
+ let <hidden>
| ` <|>
|   + <*>
|   | + <*>
|   | | + pure (\x_0 -> \x_1 -> \x_2 -> x_0 (x_1 x_2))
|   | | ` <*>
|   | |   + ref <hidden>
|   | |   ` <*>
|   | |     + <*>
|   | |     | + <*>
|   | |     | | + pure (\x_0 -> \x_1 -> x_0)
|   | |     | | ` pure (\x_0 -> x_0)
|   | |     | ` ref <hidden>
|   | |     ` ref <hidden>
|   | ` rec <hidden>
|   ` pure (\x_0 -> x_0)
+ let <hidden>
| ` <|>
|   + <*>
|   | + <*>
|   | | + pure (\x_0 -> \x_1 -> \x_2 -> x_0 (x_1 x_2))
|   | | ` <*>
|   | |   + ref <hidden>
|   | |   ` <*>
|   | |     + <*>
|   | |     | + <*>
|   | |     | | + pure (\x_0 -> \x_1 -> x_0)
|   | |     | | ` pure (\x_0 -> x_0)
|   | |     | ` ref <hidden>
|   | |     ` ref <hidden>
|   | ` rec <hidden>
|   ` pure (\x_0 -> x_0)
+ let <hidden>
| ` <|>
|   + <*>
|   | + <*>
|   | | + pure (\x_0 -> \x_1 -> \x_2 -> x_0 (x_1 x_2))
|   | | ` <*>
|   | |   + ref <hidden>
|   | |   ` <*>
|   | |     + <*>
|   | |     | + <*>
|   | |     | | + pure (\x_0 -> \x_1 -> x_0)
|   | |     | | ` pure (\x_0 -> x_0)
|   | |     | ` ref <hidden>
|   | |     ` ref <hidden>
|   | ` rec <hidden>
|   ` pure (\x_0 -> x_0)
+ let <hidden>
| ` <|>
|   + <*>
|   | + <*>
|   | | + pure (\x_0 -> \x_1 -> x_0)
|   | | ` pure GHC.Tuple.()
|   | ` <*>
|   |   + <*>
|   |   | + <*>
|   |   | | + pure (\x_0 -> \x_1 -> x_0)
|   |   | | ` pure (\x_0 -> x_0)
|   |   | ` ref <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))
|   |     |   | ` ref <hidden>
|   |     |   ` ref <hidden>
|   |     ` ref <hidden>
|   ` ref <hidden>
+ let <hidden>
| ` <|>
|   + <|>
|   | + <*>
|   | | + <*>
|   | | | + <*>
|   | | | | + pure (\x_0 -> \x_1 -> x_0)
|   | | | | ` pure (\x_0 -> x_0)
|   | | | ` <|>
|   | | |   + <*>
|   | | |   | + <*>
|   | | |   | | + pure (\x_0 -> \x_1 -> x_0)
|   | | |   | | ` pure '0'
|   | | |   | ` satisfy
|   | | |   ` <*>
|   | | |     + <*>
|   | | |     | + pure (\x_0 -> \x_1 -> x_0)
|   | | |     | ` pure '1'
|   | | |     ` satisfy
|   | | ` ref <hidden>
|   | ` <*>
|   |   + <*>
|   |   | + 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)
|   |   |   |   | ` pure '\''
|   |   |   |   ` satisfy
|   |   |   ` <|>
|   |   |     + <*>
|   |   |     | + <*>
|   |   |     | | + <*>
|   |   |     | | | + pure (\x_0 -> \x_1 -> x_0)
|   |   |     | | | ` pure (\x_0 -> x_0)
|   |   |     | | ` satisfy
|   |   |     | ` ref <hidden>
|   |   |     ` <*>
|   |   |       + <*>
|   |   |       | + <*>
|   |   |       | | + pure (\x_0 -> \x_1 -> x_0)
|   |   |       | | ` pure (\x_0 -> x_0)
|   |   |       | ` <*>
|   |   |       |   + <*>
|   |   |       |   | + pure (\x_0 -> \x_1 -> x_0)
|   |   |       |   | ` pure '\\'
|   |   |       |   ` satisfy
|   |   |       ` <*>
|   |   |         + <*>
|   |   |         | + <*>
|   |   |         | | + pure (\x_0 -> \x_1 -> x_0)
|   |   |         | | ` pure (\x_0 -> x_0)
|   |   |         | ` satisfy
|   |   |         ` ref <hidden>
|   |   ` <*>
|   |     + <*>
|   |     | + pure (\x_0 -> \x_1 -> x_0)
|   |     | ` <*>
|   |     |   + <*>
|   |     |   | + pure (\x_0 -> \x_1 -> x_0)
|   |     |   | ` pure '\''
|   |     |   ` satisfy
|   |     ` ref <hidden>
|   ` <*>
|     + <*>
|     | + <*>
|     | | + pure (\x_0 -> \x_1 -> x_0)
|     | | ` pure (\x_0 -> x_0)
|     | ` ref <hidden>
|     ` <|>
|       + <*>
|       | + <*>
|       | | + pure (\x_0 -> \x_1 -> x_0)
|       | | ` pure GHC.Tuple.()
|       | ` <|>
|       |   + <*>
|       |   | + <*>
|       |   | | + pure (\x_0 -> \x_1 -> x_0)
|       |   | | ` <*>
|       |   | |   + <*>
|       |   | |   | + <*>
|       |   | |   | | + pure (\x_0 -> \x_1 -> x_0)
|       |   | |   | | ` pure (\x_0 -> x_0)
|       |   | |   | ` ref <hidden>
|       |   | |   ` <|>
|       |   | |     + <*>
|       |   | |     | + <*>
|       |   | |     | | + pure (\x_0 -> \x_1 -> x_0)
|       |   | |     | | ` pure GHC.Tuple.()
|       |   | |     | ` <*>
|       |   | |     |   + <*>
|       |   | |     |   | + <*>
|       |   | |     |   | | + pure (\x_0 -> \x_1 -> x_0)
|       |   | |     |   | | ` pure (\x_0 -> x_0)
|       |   | |     |   | ` rec <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))
|       |   | |     |     |   | ` ref <hidden>
|       |   | |     |     |   ` ref <hidden>
|       |   | |     |     ` ref <hidden>
|       |   | |     ` ref <hidden>
|       |   | ` ref <hidden>
|       |   ` ref <hidden>
|       ` ref <hidden>
+ let <hidden>
| ` pure GHC.Tuple.()
+ let <hidden>
| ` pure GHC.Tuple.()
+ let <hidden>
| ` satisfy
` <*>
  + pure GHC.Show.show
  ` <*>
    + <*>
    | + pure (\x_0 -> \x_1 -> x_0)
    | ` <*>
    |   + <*>
    |   | + <*>
    |   | | + pure (\x_0 -> \x_1 -> x_0)
    |   | | ` pure (\x_0 -> x_0)
    |   | ` ref <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))
    |     |   | ` ref <hidden>
    |     |   ` ref <hidden>
    |     ` ref <hidden>
    ` eof