Conversion for types with several predicates does not work

[x0ji0d]

type PositiveInt = Int Refined Positive
type PositiveAndLessTenInt = Int Refined (Positive And Less[W.`10`.T])

var foo: PositiveInt = 1
val bar: PositiveAndLessTenInt = 5

foo = bar

This produces error:

type mismatch;
 found   : Playground.this.PositiveAndLessTenInt
    (which expands to)  eu.timepit.refined.api.Refined[Int,eu.timepit.refined.boolean.And[eu.timepit.refined.numeric.Greater[shapeless._0],eu.timepit.refined.numeric.Less[Int(10)]]]
 required: Playground.this.PositiveInt
    (which expands to)  eu.timepit.refined.api.Refined[Int,eu.timepit.refined.numeric.Greater[shapeless._0]]