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