Ответ 1
Я полагаю, что world-file ссылается на необязательную функцию, посредством которой cabal-install будет поддерживать список незашифрованных пакетов, запрошенных для установки, возможно, смоделированных на Gentoo /var/lib/portage/world и подобных системах. Cabal не использует этот файл ни для чего.
Ваши предложенные "вложенные песочницы" могут вызывать те же проблемы, что и для глобальных или для каждого пользователя: разные пакеты должны иметь согласованный набор зависимостей.
Возможно совместное использование одиночной песочницы между проектами с параметром --sandbox=DIR до cabal sandbox.