Creating a Map of Literal Refined Types as the Key doesn't work

Hi, I've noticed if I try to create a Map with the key as a Refined Type and instantiate it with a literal, the compiler gives an error:

```scala
import eu.timepit.refined.auto._
import eu.timepit.refined.types.all.NonEmptyString

val bar: Map[NonEmptyString, NonEmptyString] = Map("1" -> "foobar")
/*
found : (String, String)
required: (eu.timepit.refined.types.all.NonEmptyString, eu.timepit.refined.types.all.NonEmptyString)
*/
```

I can change to just the value as a Refined type and it works as expected:

```scala
import eu.timepit.refined.auto._
import eu.timepit.refined.types.all.NonEmptyString

val bar: Map[String, NonEmptyString] = Map("1" -> "foobar")
// val bar: Map[String,eu.timepit.refined.types.all.NonEmptyString] = Map(1 -> foobar)
```

I can also create a Map out Tuples which works:

```scala
import eu.timepit.refined.auto._
import eu.timepit.refined.types.all.NonEmptyString

val bar: Map[NonEmptyString, NonEmptyString] = Map(("1", "foobar"))
// val bar: Map[eu.timepit.refined.types.all.NonEmptyString,eu.timepit.refined.types.all.NonEmptyString] = Map(1 -> foobar)
```

So it looks like the Arrow syntax is causing this - is this intended behaviour?

Start with the Scala reproducer in issue #1153, comparing Map("1" -> "foobar") with Map(("1", "foobar")) using refined.auto and NonEmptyString. Determine whether arrow syntax should support the same refinement as tuple syntax; completion requires a confirmed explanation and a regression check or clear documented behavior.

Written by the indexing model from the issue text.