Different way of combining Parser0 and Parser

Hi all!
I'm just trying to port scala-uri from parboiled2 to cats-parse.
One thing I find rather confusing is the with1 method to make a Parser0 behave like a Parser.
I'm wondering if a different way to encode this could work, e.g.

trait LowPriorityImplicits {

  implicit class RichParser0(parser: Parser0) {
    def ~(other: Parser0): Parser0 = ???
  }
}

object Parser0 extends LowPriorityImplicits {
  implicit class EvenRicherParser(parser: Parser0) {
    def ~(other: Parser): Parser = ???
  }
}

val foo0: Parser0 = null
val foo: Parser = null
val concatted: Parser = (foo0 ~ foo)

Start by reading the Parser0 and Parser definitions and the existing with1 method. Compare the proposed implicit-class approach with current parser-combination APIs, including the Parser0 ~ Parser0 and Parser0 ~ Parser cases. Done means a settled API design with matching behavior and tests, but the issue does not name files or tests to use.