many-char-eof.opt.dump

<*>
+ <*>
| + pure (\u1 -> (\u2 -> u1 Term))
| ` def <hidden>
|   ` <|>
|     + <*>
|     | + <*>
|     | | + pure (\u1 -> (\u2 -> (\u3 -> 'r' : u2 u3)))
|     | | ` satisfy
|     | ` rec <hidden>
|     ` pure (\u1 -> u1)
` eof