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