Вот есть у меня необходимость генерировать запросы к базе данных. Имею на руках схему в виде csv, в которой имена таблиц, полей, связи и прочая. Схема каждый пуск программы может быть разная. Например в haskell-relational-record для того, чтобы генерировать код, надо определить таблицы через TH как типы, в esqueleto что-то подобное. TH собирает типы во время компиляции. Либо я что-то где-то недочитал, либо нет возможности генерировать sql типобезопасно, если не знать всю схему БД во время компиляции. А следовательно надо писать нетипобезопасный генератор sql и самому. Скажите мне, пожалуйста, что я неправ, и не туда копаю.