Мешает то, что для статической проверки тут надо зависимые типы, ибо всё-всё не перегенеришь, вариантов очень много.
Можно сгенерить правильные туплы или record'ы под всю строчку такой-то таблицы.
Но бывают и SELECT'ы, задействующие не все столбцы таблицы, ну и это можно побороть.
А бывают ещё и всякие функции типа агрегатов. Итипатого.