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