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