"<|>\n+ <*>\n| + <*>\n| | + pure (\\u1 -> (\\u2 -> 'a' : ('a' : Term)))\n| | ` satisfy\n| ` satisfy\n` <*>\n  + <*>\n  | + pure (\\u1 -> (\\u2 -> 'a' : ('b' : Term)))\n  | ` satisfy\n  ` satisfy\n"