Inheritance and collections — InvalidArgument errors

[VBelozyorov]

Hello
Please look at this example: https://psalm.dev/r/7b04741f46

I saw that Animal-Cat-Dog example in the docs about template covariance and I think I understood it. But I still cannot figure out how to fix my example.
Some of my attempts looked like these:

• https://psalm.dev/r/0f0a49a0df
• https://psalm.dev/r/1a8027c9a9

and unfortunately it didn't help me much.

What can I do with those InvalidArgument errors in this case (except of suppressing or adding to the baseline)?