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