lets
+ let name
| ` <*>
|   + <*>
|   | + <*>
|   | | + pure (\x_0 -> \x_1 -> x_0)
|   | | ` pure (\x_0 -> x_0)
|   | ` ref name
|   ` <*>
|     + <*>
|     | + <*>
|     | | + 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 name
|     ` pure GHC.Tuple.()
+ let name
| ` <*>
|   + <*>
|   | + <*>
|   | | + pure (\x_0 -> \x_1 -> x_0)
|   | | ` pure (\x_0 -> x_0)
|   | ` ref name
|   ` <*>
|     + <*>
|     | + <*>
|     | | + pure (\x_0 -> \x_1 -> x_0)
|     | | ` pure (\x_0 -> x_0)
|     | ` chainPost
|     |   + ref name
|     |   ` <*>
|     |     + <*>
|     |     | + 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 ((GHC.Classes.==) '!')
|     |       |   ` ref name
|     |       ` ref name
|     ` ref name
+ let name
| ` <*>
|   + <*>
|   | + 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 ((GHC.Classes.==) '[')
|   |   |   ` ref name
|   |   ` <*>
|   |     + <*>
|   |     | + <*>
|   |     | | + pure (\x_0 -> \x_1 -> x_0)
|   |     | | ` pure (\x_0 -> x_0)
|   |     | ` ref name
|   |     ` <*>
|   |       + <*>
|   |       | + <*>
|   |       | | + 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 name
|   |       ` pure GHC.Tuple.()
|   ` <*>
|     + <*>
|     | + pure (\x_0 -> \x_1 -> x_0)
|     | ` <*>
|     |   + <*>
|     |   | + pure (\x_0 -> \x_1 -> x_0)
|     |   | ` pure ']'
|     |   ` satisfy ((GHC.Classes.==) ']')
|     ` ref name
+ let name
| ` <*>
|   + <*>
|   | + 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 ((GHC.Classes.==) '{')
|   |   |   ` ref name
|   |   ` <*>
|   |     + <*>
|   |     | + <*>
|   |     | | + pure (\x_0 -> \x_1 -> x_0)
|   |     | | ` pure (\x_0 -> x_0)
|   |     | ` chainPost
|   |     |   + ref name
|   |     |   ` <*>
|   |     |     + <*>
|   |     |     | + 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 ((GHC.Classes.==) 'i')
|   |     |       | | | |     ` <*>
|   |     |       | | | |       + <*>
|   |     |       | | | |       | + pure (GHC.Types.:)
|   |     |       | | | |       | ` <*>
|   |     |       | | | |       |   + <*>
|   |     |       | | | |       |   | + pure (\x_0 -> \x_1 -> x_0)
|   |     |       | | | |       |   | ` pure 'f'
|   |     |       | | | |       |   ` satisfy ((GHC.Classes.==) 'f')
|   |     |       | | | |       ` pure GHC.Types.[]
|   |     |       | | | ` ref name
|   |     |       | | ` <*>
|   |     |       | |   + <*>
|   |     |       | |   | + <*>
|   |     |       | |   | | + 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 ((GHC.Classes.==) 'w')
|   |     |       | |   |   |   |     ` <*>
|   |     |       | |   |   |   |       + <*>
|   |     |       | |   |   |   |       | + pure (GHC.Types.:)
|   |     |       | |   |   |   |       | ` <*>
|   |     |       | |   |   |   |       |   + <*>
|   |     |       | |   |   |   |       |   | + pure (\x_0 -> \x_1 -> x_0)
|   |     |       | |   |   |   |       |   | ` pure 'h'
|   |     |       | |   |   |   |       |   ` satisfy ((GHC.Classes.==) 'h')
|   |     |       | |   |   |   |       ` <*>
|   |     |       | |   |   |   |         + <*>
|   |     |       | |   |   |   |         | + pure (GHC.Types.:)
|   |     |       | |   |   |   |         | ` <*>
|   |     |       | |   |   |   |         |   + <*>
|   |     |       | |   |   |   |         |   | + pure (\x_0 -> \x_1 -> x_0)
|   |     |       | |   |   |   |         |   | ` pure 'i'
|   |     |       | |   |   |   |         |   ` satisfy ((GHC.Classes.==) 'i')
|   |     |       | |   |   |   |         ` <*>
|   |     |       | |   |   |   |           + <*>
|   |     |       | |   |   |   |           | + pure (GHC.Types.:)
|   |     |       | |   |   |   |           | ` <*>
|   |     |       | |   |   |   |           |   + <*>
|   |     |       | |   |   |   |           |   | + pure (\x_0 -> \x_1 -> x_0)
|   |     |       | |   |   |   |           |   | ` pure 'l'
|   |     |       | |   |   |   |           |   ` satisfy ((GHC.Classes.==) 'l')
|   |     |       | |   |   |   |           ` <*>
|   |     |       | |   |   |   |             + <*>
|   |     |       | |   |   |   |             | + pure (GHC.Types.:)
|   |     |       | |   |   |   |             | ` <*>
|   |     |       | |   |   |   |             |   + <*>
|   |     |       | |   |   |   |             |   | + pure (\x_0 -> \x_1 -> x_0)
|   |     |       | |   |   |   |             |   | ` pure 'e'
|   |     |       | |   |   |   |             |   ` satisfy ((GHC.Classes.==) 'e')
|   |     |       | |   |   |   |             ` pure GHC.Types.[]
|   |     |       | |   |   |   ` ref name
|   |     |       | |   |   ` ref name
|   |     |       | |   ` rec name
|   |     |       | ` 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 ((GHC.Classes.==) 'v')
|   |     |       |     |   |   |   |   |   |     ` <*>
|   |     |       |     |   |   |   |   |   |       + <*>
|   |     |       |     |   |   |   |   |   |       | + pure (GHC.Types.:)
|   |     |       |     |   |   |   |   |   |       | ` <*>
|   |     |       |     |   |   |   |   |   |       |   + <*>
|   |     |       |     |   |   |   |   |   |       |   | + pure (\x_0 -> \x_1 -> x_0)
|   |     |       |     |   |   |   |   |   |       |   | ` pure 'a'
|   |     |       |     |   |   |   |   |   |       |   ` satisfy ((GHC.Classes.==) 'a')
|   |     |       |     |   |   |   |   |   |       ` <*>
|   |     |       |     |   |   |   |   |   |         + <*>
|   |     |       |     |   |   |   |   |   |         | + pure (GHC.Types.:)
|   |     |       |     |   |   |   |   |   |         | ` <*>
|   |     |       |     |   |   |   |   |   |         |   + <*>
|   |     |       |     |   |   |   |   |   |         |   | + pure (\x_0 -> \x_1 -> x_0)
|   |     |       |     |   |   |   |   |   |         |   | ` pure 'r'
|   |     |       |     |   |   |   |   |   |         |   ` satisfy ((GHC.Classes.==) 'r')
|   |     |       |     |   |   |   |   |   |         ` pure GHC.Types.[]
|   |     |       |     |   |   |   |   |   ` ref name
|   |     |       |     |   |   |   |   ` ref name
|   |     |       |     |   |   |   ` <*>
|   |     |       |     |   |   |     + <*>
|   |     |       |     |   |   |     | + <*>
|   |     |       |     |   |   |     | | + pure (\x_0 -> \x_1 -> x_0)
|   |     |       |     |   |   |     | | ` pure (\x_0 -> x_0)
|   |     |       |     |   |   |     | ` ref name
|   |     |       |     |   |   |     ` <*>
|   |     |       |     |   |   |       + <*>
|   |     |       |     |   |   |       | + <*>
|   |     |       |     |   |   |       | | + pure (\x_0 -> \x_1 -> x_0)
|   |     |       |     |   |   |       | | ` pure (\x_0 -> x_0)
|   |     |       |     |   |   |       | ` chainPost
|   |     |       |     |   |   |       |   + ref name
|   |     |       |     |   |   |       |   ` <*>
|   |     |       |     |   |   |       |     + ref name
|   |     |       |     |   |   |       |     ` <*>
|   |     |       |     |   |   |       |       + <*>
|   |     |       |     |   |   |       |       | + <*>
|   |     |       |     |   |   |       |       | | + pure (\x_0 -> \x_1 -> x_0)
|   |     |       |     |   |   |       |       | | ` pure (\x_0 -> x_0)
|   |     |       |     |   |   |       |       | ` ref name
|   |     |       |     |   |   |       |       ` ref name
|   |     |       |     |   |   |       ` ref name
|   |     |       |     |   |   ` <*>
|   |     |       |     |   |     + <*>
|   |     |       |     |   |     | + pure (\x_0 -> \x_1 -> x_0)
|   |     |       |     |   |     | ` <*>
|   |     |       |     |   |     |   + <*>
|   |     |       |     |   |     |   | + pure (\x_0 -> \x_1 -> x_0)
|   |     |       |     |   |     |   | ` pure '='
|   |     |       |     |   |     |   ` satisfy ((GHC.Classes.==) '=')
|   |     |       |     |   |     ` ref name
|   |     |       |     |   ` <*>
|   |     |       |     |     + <*>
|   |     |       |     |     | + <*>
|   |     |       |     |     | | + pure (\x_0 -> \x_1 -> x_0)
|   |     |       |     |     | | ` pure (\x_0 -> x_0)
|   |     |       |     |     | ` ref name
|   |     |       |     |     ` <*>
|   |     |       |     |       + <*>
|   |     |       |     |       | + <*>
|   |     |       |     |       | | + pure (\x_0 -> \x_1 -> x_0)
|   |     |       |     |       | | ` pure (\x_0 -> x_0)
|   |     |       |     |       | ` chainPost
|   |     |       |     |       |   + ref name
|   |     |       |     |       |   ` <*>
|   |     |       |     |       |     + ref name
|   |     |       |     |       |     ` <*>
|   |     |       |     |       |       + <*>
|   |     |       |     |       |       | + <*>
|   |     |       |     |       |       | | + pure (\x_0 -> \x_1 -> x_0)
|   |     |       |     |       |       | | ` pure (\x_0 -> x_0)
|   |     |       |     |       |       | ` ref name
|   |     |       |     |       |       ` ref name
|   |     |       |     |       ` ref name
|   |     |       |     ` ref name
|   |     |       ` <*>
|   |     |         + <*>
|   |     |         | + pure (\x_0 -> \x_1 -> x_0)
|   |     |         | ` ref name
|   |     |         ` ref name
|   |     ` ref name
|   ` <*>
|     + <*>
|     | + pure (\x_0 -> \x_1 -> x_0)
|     | ` <*>
|     |   + <*>
|     |   | + pure (\x_0 -> \x_1 -> x_0)
|     |   | ` pure '}'
|     |   ` satisfy ((GHC.Classes.==) '}')
|     ` ref name
+ let name
| ` <*>
|   + <*>
|   | + <*>
|   | | + pure (\x_0 -> \x_1 -> x_0)
|   | | ` pure (\x_0 -> x_0)
|   | ` ref name
|   ` <|>
|     + <*>
|     | + <*>
|     | | + pure (\x_0 -> \x_1 -> x_0)
|     | | ` pure GHC.Tuple.()
|     | ` ref name
|     ` ref name
+ let name
| ` <*>
|   + <*>
|   | + <*>
|   | | + pure (\x_0 -> \x_1 -> x_0)
|   | | ` pure (\x_0 -> x_0)
|   | ` satisfy GHC.Unicode.isSpace
|   ` ref name
+ let name
| ` <*>
|   + <*>
|   | + <*>
|   | | + 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 Parsers.Nandlang.nandIdentStart
|   |     ` <*>
|   |       + <*>
|   |       | + <*>
|   |       | | + pure (\x_0 -> \x_1 -> x_0)
|   |       | | ` pure (\x_0 -> x_0)
|   |       | ` chainPost
|   |       |   + ref name
|   |       |   ` <*>
|   |       |     + <*>
|   |       |     | + pure (\x_0 -> \x_1 -> \x_2 -> x_0 x_2 x_1)
|   |       |     | ` pure (\x_0 -> \x_1 -> x_0)
|   |       |     ` satisfy Parsers.Nandlang.nandIdentLetter
|   |       ` ref name
|   ` ref name
+ let name
| ` <*>
|   + <*>
|   | + pure (\x_0 -> \x_1 -> x_0)
|   | ` <*>
|   |   + <*>
|   |   | + pure (\x_0 -> \x_1 -> x_0)
|   |   | ` pure '('
|   |   ` satisfy ((GHC.Classes.==) '(')
|   ` ref name
+ let name
| ` <*>
|   + <*>
|   | + pure (\x_0 -> \x_1 -> x_0)
|   | ` <*>
|   |   + <*>
|   |   | + pure (\x_0 -> \x_1 -> x_0)
|   |   | ` pure ')'
|   |   ` satisfy ((GHC.Classes.==) ')')
|   ` ref name
+ let name
| ` <*>
|   + <*>
|   | + pure (\x_0 -> \x_1 -> x_0)
|   | ` <*>
|   |   + <*>
|   |   | + pure (\x_0 -> \x_1 -> x_0)
|   |   | ` pure ','
|   |   ` satisfy ((GHC.Classes.==) ',')
|   ` ref name
+ let name
| ` <*>
|   + <*>
|   | + pure (\x_0 -> \x_1 -> x_0)
|   | ` <*>
|   |   + <*>
|   |   | + pure (\x_0 -> \x_1 -> x_0)
|   |   | ` pure ';'
|   |   ` satisfy ((GHC.Classes.==) ';')
|   ` ref name
+ let name
| ` <*>
|   + pure (\x_0 -> \x_1 -> \x_2 -> x_0 x_2 x_1)
|   ` pure (\x_0 -> \x_1 -> x_0)
+ let name
| ` <|>
|   + <*>
|   | + <*>
|   | | + pure (\x_0 -> \x_1 -> x_0)
|   | | ` pure GHC.Tuple.()
|   | ` <*>
|   |   + <*>
|   |   | + <*>
|   |   | | + pure (\x_0 -> \x_1 -> x_0)
|   |   | | ` pure (\x_0 -> x_0)
|   |   | ` ref name
|   |   ` <*>
|   |     + <*>
|   |     | + <*>
|   |     | | + pure (\x_0 -> \x_1 -> x_0)
|   |     | | ` pure (\x_0 -> x_0)
|   |     | ` chainPost
|   |     |   + ref name
|   |     |   ` <*>
|   |     |     + ref name
|   |     |     ` <*>
|   |     |       + <*>
|   |     |       | + <*>
|   |     |       | | + pure (\x_0 -> \x_1 -> x_0)
|   |     |       | | ` pure (\x_0 -> x_0)
|   |     |       | ` ref name
|   |     |       ` ref name
|   |     ` ref name
|   ` ref name
+ let name
| ` <|>
|   + <|>
|   | + <*>
|   | | + <*>
|   | | | + <*>
|   | | | | + pure (\x_0 -> \x_1 -> x_0)
|   | | | | ` pure (\x_0 -> x_0)
|   | | | ` <|>
|   | | |   + <*>
|   | | |   | + <*>
|   | | |   | | + pure (\x_0 -> \x_1 -> x_0)
|   | | |   | | ` pure '0'
|   | | |   | ` satisfy ((GHC.Classes.==) '0')
|   | | |   ` <*>
|   | | |     + <*>
|   | | |     | + pure (\x_0 -> \x_1 -> x_0)
|   | | |     | ` pure '1'
|   | | |     ` satisfy ((GHC.Classes.==) '1')
|   | | ` ref name
|   | ` <*>
|   |   + <*>
|   |   | + 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 ((GHC.Classes.==) '\'')
|   |   |   ` <|>
|   |   |     + <*>
|   |   |     | + <*>
|   |   |     | | + <*>
|   |   |     | | | + pure (\x_0 -> \x_1 -> x_0)
|   |   |     | | | ` pure (\x_0 -> x_0)
|   |   |     | | ` satisfy Parsers.Nandlang.nandStringLetter
|   |   |     | ` ref name
|   |   |     ` <*>
|   |   |       + <*>
|   |   |       | + <*>
|   |   |       | | + pure (\x_0 -> \x_1 -> x_0)
|   |   |       | | ` pure (\x_0 -> x_0)
|   |   |       | ` <*>
|   |   |       |   + <*>
|   |   |       |   | + pure (\x_0 -> \x_1 -> x_0)
|   |   |       |   | ` pure '\\'
|   |   |       |   ` satisfy ((GHC.Classes.==) '\\')
|   |   |       ` <*>
|   |   |         + <*>
|   |   |         | + <*>
|   |   |         | | + pure (\x_0 -> \x_1 -> x_0)
|   |   |         | | ` pure (\x_0 -> x_0)
|   |   |         | ` satisfy (\t_0 -> ('0' GHC.Classes.== t_0) GHC.Classes.|| (('t' GHC.Classes.== t_0) GHC.Classes.|| (('n' GHC.Classes.== t_0) GHC.Classes.|| (('v' GHC.Classes.== t_0) GHC.Classes.|| (('f' GHC.Classes.== t_0) GHC.Classes.|| (('r' GHC.Classes.== t_0) GHC.Classes.|| GHC.Types.False))))))
|   |   |         ` ref name
|   |   ` <*>
|   |     + <*>
|   |     | + pure (\x_0 -> \x_1 -> x_0)
|   |     | ` <*>
|   |     |   + <*>
|   |     |   | + pure (\x_0 -> \x_1 -> x_0)
|   |     |   | ` pure '\''
|   |     |   ` satisfy ((GHC.Classes.==) '\'')
|   |     ` ref name
|   ` <*>
|     + <*>
|     | + <*>
|     | | + pure (\x_0 -> \x_1 -> x_0)
|     | | ` pure (\x_0 -> x_0)
|     | ` ref name
|     ` <|>
|       + <*>
|       | + <*>
|       | | + 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 name
|       |   | |   ` <|>
|       |   | |     + <*>
|       |   | |     | + <*>
|       |   | |     | | + pure (\x_0 -> \x_1 -> x_0)
|       |   | |     | | ` pure GHC.Tuple.()
|       |   | |     | ` <*>
|       |   | |     |   + <*>
|       |   | |     |   | + <*>
|       |   | |     |   | | + pure (\x_0 -> \x_1 -> x_0)
|       |   | |     |   | | ` pure (\x_0 -> x_0)
|       |   | |     |   | ` rec name
|       |   | |     |   ` <*>
|       |   | |     |     + <*>
|       |   | |     |     | + <*>
|       |   | |     |     | | + pure (\x_0 -> \x_1 -> x_0)
|       |   | |     |     | | ` pure (\x_0 -> x_0)
|       |   | |     |     | ` chainPost
|       |   | |     |     |   + ref name
|       |   | |     |     |   ` <*>
|       |   | |     |     |     + ref name
|       |   | |     |     |     ` <*>
|       |   | |     |     |       + <*>
|       |   | |     |     |       | + <*>
|       |   | |     |     |       | | + pure (\x_0 -> \x_1 -> x_0)
|       |   | |     |     |       | | ` pure (\x_0 -> x_0)
|       |   | |     |     |       | ` ref name
|       |   | |     |     |       ` rec name
|       |   | |     |     ` ref name
|       |   | |     ` ref name
|       |   | ` ref name
|       |   ` ref name
|       ` ref name
+ let name
| ` pure GHC.Tuple.()
+ let name
| ` pure GHC.Tuple.()
+ let name
| ` satisfy (\t_0 -> ('0' GHC.Classes.== t_0) GHC.Classes.|| (('1' GHC.Classes.== t_0) GHC.Classes.|| (('2' GHC.Classes.== t_0) GHC.Classes.|| (('3' GHC.Classes.== t_0) GHC.Classes.|| (('4' GHC.Classes.== t_0) GHC.Classes.|| (('5' GHC.Classes.== t_0) GHC.Classes.|| (('6' GHC.Classes.== t_0) GHC.Classes.|| (('7' GHC.Classes.== t_0) GHC.Classes.|| (('8' GHC.Classes.== t_0) GHC.Classes.|| (('9' GHC.Classes.== t_0) GHC.Classes.|| GHC.Types.False))))))))))
` <*>
  + pure GHC.Show.show
  ` <*>
    + <*>
    | + pure (\x_0 -> \x_1 -> x_0)
    | ` <*>
    |   + <*>
    |   | + <*>
    |   | | + pure (\x_0 -> \x_1 -> x_0)
    |   | | ` pure (\x_0 -> x_0)
    |   | ` ref name
    |   ` <*>
    |     + <*>
    |     | + <*>
    |     | | + pure (\x_0 -> \x_1 -> x_0)
    |     | | ` pure (\x_0 -> x_0)
    |     | ` chainPost
    |     |   + ref name
    |     |   ` <*>
    |     |     + <*>
    |     |     | + 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 ((GHC.Classes.==) 'f')
    |     |       |   |   |   |     ` <*>
    |     |       |   |   |   |       + <*>
    |     |       |   |   |   |       | + pure (GHC.Types.:)
    |     |       |   |   |   |       | ` <*>
    |     |       |   |   |   |       |   + <*>
    |     |       |   |   |   |       |   | + pure (\x_0 -> \x_1 -> x_0)
    |     |       |   |   |   |       |   | ` pure 'u'
    |     |       |   |   |   |       |   ` satisfy ((GHC.Classes.==) 'u')
    |     |       |   |   |   |       ` <*>
    |     |       |   |   |   |         + <*>
    |     |       |   |   |   |         | + pure (GHC.Types.:)
    |     |       |   |   |   |         | ` <*>
    |     |       |   |   |   |         |   + <*>
    |     |       |   |   |   |         |   | + pure (\x_0 -> \x_1 -> x_0)
    |     |       |   |   |   |         |   | ` pure 'n'
    |     |       |   |   |   |         |   ` satisfy ((GHC.Classes.==) 'n')
    |     |       |   |   |   |         ` <*>
    |     |       |   |   |   |           + <*>
    |     |       |   |   |   |           | + pure (GHC.Types.:)
    |     |       |   |   |   |           | ` <*>
    |     |       |   |   |   |           |   + <*>
    |     |       |   |   |   |           |   | + pure (\x_0 -> \x_1 -> x_0)
    |     |       |   |   |   |           |   | ` pure 'c'
    |     |       |   |   |   |           |   ` satisfy ((GHC.Classes.==) 'c')
    |     |       |   |   |   |           ` <*>
    |     |       |   |   |   |             + <*>
    |     |       |   |   |   |             | + pure (GHC.Types.:)
    |     |       |   |   |   |             | ` <*>
    |     |       |   |   |   |             |   + <*>
    |     |       |   |   |   |             |   | + pure (\x_0 -> \x_1 -> x_0)
    |     |       |   |   |   |             |   | ` pure 't'
    |     |       |   |   |   |             |   ` satisfy ((GHC.Classes.==) 't')
    |     |       |   |   |   |             ` <*>
    |     |       |   |   |   |               + <*>
    |     |       |   |   |   |               | + pure (GHC.Types.:)
    |     |       |   |   |   |               | ` <*>
    |     |       |   |   |   |               |   + <*>
    |     |       |   |   |   |               |   | + pure (\x_0 -> \x_1 -> x_0)
    |     |       |   |   |   |               |   | ` pure 'i'
    |     |       |   |   |   |               |   ` satisfy ((GHC.Classes.==) 'i')
    |     |       |   |   |   |               ` <*>
    |     |       |   |   |   |                 + <*>
    |     |       |   |   |   |                 | + pure (GHC.Types.:)
    |     |       |   |   |   |                 | ` <*>
    |     |       |   |   |   |                 |   + <*>
    |     |       |   |   |   |                 |   | + pure (\x_0 -> \x_1 -> x_0)
    |     |       |   |   |   |                 |   | ` pure 'o'
    |     |       |   |   |   |                 |   ` satisfy ((GHC.Classes.==) 'o')
    |     |       |   |   |   |                 ` <*>
    |     |       |   |   |   |                   + <*>
    |     |       |   |   |   |                   | + pure (GHC.Types.:)
    |     |       |   |   |   |                   | ` <*>
    |     |       |   |   |   |                   |   + <*>
    |     |       |   |   |   |                   |   | + pure (\x_0 -> \x_1 -> x_0)
    |     |       |   |   |   |                   |   | ` pure 'n'
    |     |       |   |   |   |                   |   ` satisfy ((GHC.Classes.==) 'n')
    |     |       |   |   |   |                   ` pure GHC.Types.[]
    |     |       |   |   |   ` ref name
    |     |       |   |   ` ref name
    |     |       |   ` <*>
    |     |       |     + <*>
    |     |       |     | + pure (\x_0 -> \x_1 -> x_0)
    |     |       |     | ` <*>
    |     |       |     |   + <*>
    |     |       |     |   | + <*>
    |     |       |     |   | | + pure (\x_0 -> \x_1 -> x_0)
    |     |       |     |   | | ` pure (\x_0 -> x_0)
    |     |       |     |   | ` ref name
    |     |       |     |   ` <*>
    |     |       |     |     + <*>
    |     |       |     |     | + <*>
    |     |       |     |     | | + pure (\x_0 -> \x_1 -> x_0)
    |     |       |     |     | | ` pure (\x_0 -> x_0)
    |     |       |     |     | ` ref name
    |     |       |     |     ` <|>
    |     |       |     |       + <*>
    |     |       |     |       | + <*>
    |     |       |     |       | | + 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 ((GHC.Classes.==) ':')
    |     |       |     |       |   |   ` ref name
    |     |       |     |       |   ` ref name
    |     |       |     |       ` ref name
    |     |       |     ` ref name
    |     |       ` ref name
    |     ` ref name
    ` eof