*Если этот одинаковый код применяется системно, как бойлерплэйт. В противном случае нет

Это уже 3D expression problem
Обычный expression problem это 2D problem

Даже если и системно, я в самом начале знакомства с программированием написал ниочёмный проект на плюсах на 5к строк и понял, что при редакте всего этого сдохнешь скакать по коду. А ведь я тогда ещё нормально помнил все детали и где что расположено.

Чуть в стороне от хаскеля вопрос, но всё же
есть файл xmonad.hs, в котором лежат все настройки для xmonad. Можно как-либо через стак сделать его проектом чтоб оно тайпчекалось?

Присоединюсь к вопросу :))

https://github.com/lierdakil/xmonad-config не через стак, а через кабал, но большой разницы нет. Магия в скрипте build, который xmonad понимает и запускает вместо ghc. Подробности: https://github.com/xmonad/xmonad/blob/master/INSTALL.md#tell-xmonad-how-to-recompile-itself

строки с 7 начиная в build для удобства чтобы доставить бинарников при обновлении, к xmonad прямого отношения не имеют

^

окей, посмотрю

Помогите кто-нибудь с реализацией функции. Мне уже пытались подсказать, но идея не заработала, а самому мне не удалось накодить и найти что-либо:
у меня есть функция api, которая возвращает конструктор API запроса для сервера в servant, мне нужно передавать префикс строкой в эту функцию и строить по нему новый тип, чтобы при запуске приложения можно было считать этот префикс извне, например из конфига.

Что можно сделать, что результат по типовой нотации функции api не содержал типовых переменных? (чтобы не было Proxy (WeatherAPI a), например, иначе передавать это дальше не получается) Может быть класс какой-то определить? Можно как-то эту задачу решить?

пройди туториал по серванту

а, ну тебе надо строку в символ преобразовать?

наверное, в туториале такого нет

попробуй без префикса туториал пройти всё же, а потом усложняй задачу

вроде вчера это разбиралось как раз

при чем для тебя же)

Я бегло проходился по нему, не видел там нужных примеров.

Я же написал, что не получилось собрать это

var - строка на термлевеле, которая была получена в рантайме из аргументов
после someSymbolVal она превратилась в var' символ на тайплевеле, который передается в serve