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