Parser combinator handling alternation with an optional parser

Question

I have a parser p of type Parser[Option[X]] and another q of type Parser[Y]. (X and Y are concrete types but that\'s not im