brainfuck.dump

<*>
+ <*>
| + <*>
| | + pure (\u1 -> (\u2 -> u1))
| | ` pure (\u1 -> u1)
| ` def <hidden>
|   ` <*>
|     + <*>
|     | + <*>
|     | | + pure (\u1 -> (\u2 -> u1))
|     | | ` pure (\u1 -> u1)
|     | ` <*>
|     |   + <*>
|     |   | + pure ((\u1 -> (\u2 -> (\u3 -> (u1 u3) u2))) (\u1 -> (\u2 -> u1 u2)))
|     |   | ` pure Term
|     |   ` def <hidden>
|     |     ` <|>
|     |       + <*>
|     |       | + <*>
|     |       | | + pure (\u1 -> (\u2 -> (\u3 -> u1 (u2 u3))))
|     |       | | ` <*>
|     |       | |   + <*>
|     |       | |   | + pure (\u1 -> (\u2 -> (\u3 -> (u1 u3) u2)))
|     |       | |   | ` pure (\u1 -> (\u2 -> u1))
|     |       | |   ` def <hidden>
|     |       | |     ` satisfy
|     |       | ` rec <hidden>
|     |       ` pure (\u1 -> u1)
|     ` pure Term
` def <hidden>
  ` <*>
    + def <hidden>
    | ` <|>
    |   + <*>
    |   | + <*>
    |   | | + pure (\u1 -> (\u2 -> (\u3 -> u1 (u2 u3))))
    |   | | ` <*>
    |   | |   + pure cons
    |   | |   ` <*>
    |   | |     + <*>
    |   | |     | + pure (\u1 -> (\u2 -> u1))
    |   | |     | ` conditional
    |   | |     |   + look
    |   | |     |   | ` ref <hidden>
    |   | |     |   + bs
    |   | |     |   | + <*>
    |   | |     |   | | + <*>
    |   | |     |   | | | + pure (\u1 -> (\u2 -> u1))
    |   | |     |   | | | ` pure Term
    |   | |     |   | | ` ref <hidden>
    |   | |     |   | + <*>
    |   | |     |   | | + <*>
    |   | |     |   | | | + pure (\u1 -> (\u2 -> u1))
    |   | |     |   | | | ` pure Term
    |   | |     |   | | ` ref <hidden>
    |   | |     |   | + <*>
    |   | |     |   | | + <*>
    |   | |     |   | | | + pure (\u1 -> (\u2 -> u1))
    |   | |     |   | | | ` pure Term
    |   | |     |   | | ` ref <hidden>
    |   | |     |   | + <*>
    |   | |     |   | | + <*>
    |   | |     |   | | | + pure (\u1 -> (\u2 -> u1))
    |   | |     |   | | | ` pure Term
    |   | |     |   | | ` ref <hidden>
    |   | |     |   | + <*>
    |   | |     |   | | + <*>
    |   | |     |   | | | + pure (\u1 -> (\u2 -> u1))
    |   | |     |   | | | ` pure Term
    |   | |     |   | | ` ref <hidden>
    |   | |     |   | + <*>
    |   | |     |   | | + <*>
    |   | |     |   | | | + pure (\u1 -> (\u2 -> u1))
    |   | |     |   | | | ` pure Term
    |   | |     |   | | ` ref <hidden>
    |   | |     |   | ` <*>
    |   | |     |   |   + <*>
    |   | |     |   |   | + pure (\u1 -> (\u2 -> u1))
    |   | |     |   |   | ` <*>
    |   | |     |   |   |   + <*>
    |   | |     |   |   |   | + <*>
    |   | |     |   |   |   | | + pure (\u1 -> (\u2 -> u1))
    |   | |     |   |   |   | | ` pure (\u1 -> u1)
    |   | |     |   |   |   | ` <*>
    |   | |     |   |   |   |   + <*>
    |   | |     |   |   |   |   | + pure (\u1 -> (\u2 -> u1))
    |   | |     |   |   |   |   | ` ref <hidden>
    |   | |     |   |   |   |   ` ref <hidden>
    |   | |     |   |   |   ` <*>
    |   | |     |   |   |     + pure Term
    |   | |     |   |   |     ` rec <hidden>
    |   | |     |   |   ` <*>
    |   | |     |   |     + <*>
    |   | |     |   |     | + pure (\u1 -> (\u2 -> u1))
    |   | |     |   |     | ` pure ']'
    |   | |     |   |     ` ref <hidden>
    |   | |     |   ` empty
    |   | |     ` ref <hidden>
    |   | ` rec <hidden>
    |   ` pure (\u1 -> u1)
    ` pure Term