<*>
+ <*>
| + pure (const id)
| ` def name_1
|   ` <*>
|     + pure ((flip ($)) () . (const id . (flip ($)) ()))
|     ` def name_4
|       ` <|>
|         + <*>
|         | + <*>
|         | | + pure ((.) . ((.) ((flip ($)) id) . const) id)
|         | | ` satisfy
|         | ` rec name_4
|         ` pure id
` def name_2
  ` <*>
    + pure ((flip ($)) Haskell)
    ` def name_3
      ` <|>
        + <*>
        | + <*>
        | | + conditional
        | | | + bs
        | | | | + <*>
        | | | | | + pure ((.) (.) . ((.) cons . (const . const Haskell)))
        | | | | | ` satisfy
        | | | | + <*>
        | | | | | + pure ((.) (.) . ((.) cons . (const . const Haskell)))
        | | | | | ` satisfy
        | | | | + <*>
        | | | | | + pure ((.) (.) . ((.) cons . (const . const Haskell)))
        | | | | | ` satisfy
        | | | | + <*>
        | | | | | + pure ((.) (.) . ((.) cons . (const . const Haskell)))
        | | | | | ` satisfy
        | | | | + <*>
        | | | | | + pure ((.) (.) . ((.) cons . (const . const Haskell)))
        | | | | | ` satisfy
        | | | | + <*>
        | | | | | + pure ((.) (.) . ((.) cons . (const . const Haskell)))
        | | | | | ` satisfy
        | | | | ` <*>
        | | | |   + <*>
        | | | |   | + <*>
        | | | |   | | + <*>
        | | | |   | | | + pure ((.) ((.) ((.) ((.) (.)))) . ((.) ((.) ((.) ((.) cons))) . ((.) ((.) ((.) const)) . ((.) ((.) ((flip ($)) (const Haskell))) . ((.) ((.) (.)) . ((.) ((.) const) . ((.) ((flip ($)) Haskell) . ((.) (.) . ((.) (const id) . const)))))))))
        | | | |   | | | ` satisfy
        | | | |   | | ` ref name_1
        | | | |   | ` rec name_2
        | | | |   ` satisfy
        | | | + look
        | | | | ` satisfy
        | | | ` empty
        | | ` ref name_1
        | ` rec name_3
        ` pure id