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