1 "<*>\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"