Как утверждать, что метод вернет обратный вызов, который вернет определенный массив с Псалмом?

Question

Представьте себе интерфейс:

interface ObjectConverter
{
    public function getResultCallback(): callable;
}

Ожидается, что реализации этого интерфейса вернут функцию, которая всегда должна возвращать один и тот же результат - набор array[Customer, string].

Воображаемая реализация:

public function getResultCallback(): callable
{
    return function (Order $order): iterable {
        foreach ($order->getCustomers() as $customer) {
            yield [$customer, 'cart_abandoned'];
        }
    };
}

Как написать утверждение для этого в Псалме на уровне интерфейса. Является ли это возможным?