polyparse.scala

trait PolyParse[F[_]] {
  def F: Functor[F]
  def APP: Applicative[F]
  def ALT: Alternative[F]
  def C: Commitment[F]
  def M: MonadFail[F]
}

def oneOf[FA](fas: List[FA])(implicit U: Unapply[PolyParse, FA]): U.M[U.A] = fas match {
  case Nil => U.TC.M.fail[U.A]("failed to parse any of the possible choices".toList)
  case (f :: fs) => U.TC.ALT.<|>(U.apply(f), oneOf(fs))
}