"<*>\n+ <*>\n| + <*>\n| | + pure (\\u1 -> (\\u2 -> (\\u3 -> 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` eof\n"