Is it possible to cast Map to Map when it is known that Field and Value extend Mirror?

Question

I am trying to cast upwards Map to Map. It makes sense for the cast to work, as both Field and Val

Answer 1

I think that would be possible only if you define the

Map 

as

Map

But otherwise, it's not the same thing.