refined-scalacheck all values discarded about refined HOT 5 CLOSED

No given instance of type org.scalacheck.Arbitrary[
  eu.timepit.refined.api.Refined[String, 
    eu.timepit.refined.string.StartsWith[("a" : String)]
  ]
] was found for parameter a1 of method forAll in object Prop.
I found:

    org.scalacheck.Arbitrary.arbContainer2[eu.timepit.refined.api.Refined, String, 
      eu.timepit.refined.string.StartsWith[("a" : String)]
    ](
      org.scalacheck.Arbitrary.arbContainer2[Tuple2, String, 
        eu.timepit.refined.string.StartsWith[("a" : String)]
      ](
        org.scalacheck.Arbitrary.arbContainer[([T2] =>> (String, T2)), 
          eu.timepit.refined.string.StartsWith[("a" : String)]
        ](
          org.scalacheck.Arbitrary.arbContainer[eu.timepit.refined.string.StartsWith
            , 
          ("a" : String)](org.scalacheck.Arbitrary.arbEnum[A], ???, ???)
        , ???, ???)
      , ???, ???)
    , ???, ???)

But method arbEnum in trait ArbitraryLowPriority does not match type org.scalacheck.Arbitrary[("a" : String)].

One of the following imports might make progress towards fixing the problem:

  import eu.timepit.refined.scalacheck.any.arbitraryFromValidate
  import shapeless.~?>.idKeyWitness
  import shapeless.~?>.idValueWitness
  import shapeless.~?>.witness