"<*>\n+ <*>\n| + pure (\\u1 -> (\\u2 -> u1 : u2 Term))\n| ` try\n|   ` <*>\n|     + <*>\n|     | + <*>\n|     | | + <*>\n|     | | | + pure (\\u1 -> (\\u2 -> (\\u3 -> (\\u4 -> 'a' : ('b' : ('c' : ('d' : Term)))))))\n|     | | | ` satisfy\n|     | | ` satisfy\n|     | ` satisfy\n|     ` satisfy\n` <|>\n  + <*>\n  | + <*>\n  | | + pure (\\u1 -> (\\u2 -> (\\u3 -> u1 : u2 u3)))\n  | | ` ref <hidden>\n  | ` rec <hidden>\n  ` pure (\\u1 -> u1)\n"