-"<*>\n+ <*>\n| + pure (\\u1 -> (\\u2 -> u1 Term))\n| ` <|>\n| + <*>\n| | + <*>\n| | | + pure (\\u1 -> (\\u2 -> (\\u3 -> 'r' : u2 u3)))\n| | | ` satisfy\n| | ` rec <hidden>\n| ` pure (\\u1 -> u1)\n` eof\n"
\ No newline at end of file
+lets
++ let <hidden>
+| ` <|>
+| + <*>
+| | + <*>
+| | | + pure (\u1 -> (\u2 -> (\u3 -> 'r' : u2 u3)))
+| | | ` satisfy
+| | ` rec <hidden>
+| ` pure (\u1 -> u1)
+` <*>
+ + <*>
+ | + pure (\u1 -> (\u2 -> Term (u1 Term)))
+ | ` ref <hidden>
+ ` eof