final case class Failure[+Ctx, +Value, +Err](ctx: Ctx, recovered: Option[Value], errors: ::[Err])
Some input was not accepted; errors says what and where, in input order. recovered is the value produced anyway when an error-handling strategy skipped past the errors, None when the run stopped at the first one. errors is never empty, and as a :: it is a plain List.
