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