eduard;
What do you think?
I tried a few things but I'm a bit stuck here as well. Right now, unless I'm very mistaken, this looks to me like it's indeed wrong and another expression of something being wrong in the type-system where arrays are concerned.