It's very nice that Psalm has support for Amphp. However I found out that whenever I use [$x, $y] = yield \Amp\Promise\all([ $promiseForX, $promiseForY ]) then the $x variable has incorrect type detected, causing various false-positives further in the code.