> Phpdoc has tuples and (associative) array shapes, e.g. `@return list{int, \Error}`.
`list<Error>` a `list<T>` is `array<int<0, max>, T>` (some differences in phpstan vs psalm vs mago)