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)
|     | ` chainPost
|     |   + pure GHC.Tuple.()
|     |   ` <*>
|     |     + <*>
|     |     | + pure (\x_0 -> \x_1 -> \x_2 -> x_0 x_2 x_1)
|     |     | ` pure (\x_0 -> \x_1 -> x_0)
|     |     ` 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)
|     | ` chainPost
|     |   + ref <hidden>
|     |   ` <*>
|     |     + <*>
|     |     | + 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>
|     ` 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)
|   |       | ` chainPost
|   |       |   + pure GHC.Tuple.()
|   |       |   ` <*>
|   |       |     + <*>
|   |       |     | + pure (\x_0 -> \x_1 -> \x_2 -> x_0 x_2 x_1)
|   |       |     | ` pure (\x_0 -> \x_1 -> x_0)
|   |       |     ` 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)
|   |     | ` chainPost
|   |     |   + ref <hidden>
|   |     |   ` <*>
|   |     |     + <*>
|   |     |     | + 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)
|   |     |       |     |   |   |       | ` chainPost
|   |     |       |     |   |   |       |   + ref <hidden>
|   |     |       |     |   |   |       |   ` <*>
|   |     |       |     |   |   |       |     + ref <hidden>
|   |     |       |     |   |   |       |     ` <*>
|   |     |       |     |   |   |       |       + <*>
|   |     |       |     |   |   |       |       | + <*>
|   |     |       |     |   |   |       |       | | + pure (\x_0 -> \x_1 -> x_0)
|   |     |       |     |   |   |       |       | | ` pure (\x_0 -> x_0)
|   |     |       |     |   |   |       |       | ` 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)
|   |     |       |     |       | ` chainPost
|   |     |       |     |       |   + ref <hidden>
|   |     |       |     |       |   ` <*>
|   |     |       |     |       |     + ref <hidden>
|   |     |       |     |       |     ` <*>
|   |     |       |     |       |       + <*>
|   |     |       |     |       |       | + <*>
|   |     |       |     |       |       | | + pure (\x_0 -> \x_1 -> x_0)
|   |     |       |     |       |       | | ` pure (\x_0 -> x_0)
|   |     |       |     |       |       | ` ref <hidden>
|   |     |       |     |       |       ` ref <hidden>
|   |     |       |     |       ` ref <hidden>
|   |     |       |     ` ref <hidden>
|   |     |       ` <*>
|   |     |         + <*>
|   |     |         | + pure (\x_0 -> \x_1 -> x_0)
|   |     |         | ` 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)
|   |       | ` chainPost
|   |       |   + ref <hidden>
|   |       |   ` <*>
|   |       |     + <*>
|   |       |     | + pure (\x_0 -> \x_1 -> \x_2 -> x_0 x_2 x_1)
|   |       |     | ` pure (\x_0 -> \x_1 -> x_0)
|   |       |     ` satisfy
|   |       ` 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_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)
|   |     | ` chainPost
|   |     |   + ref <hidden>
|   |     |   ` <*>
|   |     |     + ref <hidden>
|   |     |     ` <*>
|   |     |       + <*>
|   |     |       | + <*>
|   |     |       | | + pure (\x_0 -> \x_1 -> x_0)
|   |     |       | | ` pure (\x_0 -> x_0)
|   |     |       | ` 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)
|       |   | |     |     | ` chainPost
|       |   | |     |     |   + ref <hidden>
|       |   | |     |     |   ` <*>
|       |   | |     |     |     + ref <hidden>
|       |   | |     |     |     ` <*>
|       |   | |     |     |       + <*>
|       |   | |     |     |       | + <*>
|       |   | |     |     |       | | + pure (\x_0 -> \x_1 -> x_0)
|       |   | |     |     |       | | ` pure (\x_0 -> x_0)
|       |   | |     |     |       | ` ref <hidden>
|       |   | |     |     |       ` rec <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)
    |     | ` chainPost
    |     |   + ref <hidden>
    |     |   ` <*>
    |     |     + <*>
    |     |     | + 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>
    |     ` ref <hidden>
    ` eof