<*>
+ <*>
| + pure const
| ` <*>
|   + def name_1
|   | ` <|>
|   |   + <*>
|   |   | + <*>
|   |   | | + pure (.)
|   |   | | ` <*>
|   |   | |   + pure cons
|   |   | |   ` <*>
|   |   | |     + <*>
|   |   | |     | + pure const
|   |   | |     | ` pure Haskell
|   |   | |     ` satisfy
|   |   | ` rec name_1
|   |   ` pure id
|   ` pure Haskell
` eof