где SubConfig — структурно часть Config?
Цель: есть функции, запускаемые в контексте MonadReader SubConfig m, хочу запускать их в MonadReader Config m, желательно без бойлерплейта
Вот MRE с ошибкой компиляции: https://replit.com/@MrAndersen1/AttractiveConstantLightweightprocess#main.hs
обычно для этого используется класс Has из data-has (или can-i-haz)
можно легко, если отказаться от mtl
Обсуждают сегодня