Вот что я называю implicit handle pattern описываем интерфейс какого-то сервиса data

Question

Вот что я называю implicit handle pattern описываем интерфейс какого-то сервиса data

DBConn = MkDBConn
{ select :: Query -> IO [Row]
, hello :: IO String
, kill :: IO ()
}

засовываем там все в имплиситы

-- бойлерплейт
type WithDB = (?dbConn :: DBConn)
select :: WithDB => Query -> IO [Row]
select = ?dbConn.select

withDBConn :: IO DBConn -> (WithDB => IO a) -> IO a
withDBConn mk action = bracket mk (.kill) \conn -> do
let ?dbConn = conn
action

пишем теперь обычный кодес в IO

app :: WithDB => IO ()
app = do
rows <- select someQuery
print (length rows)

теперь реализуем

mkSomeDBConn :: Config -> IO DBConn
mkSomeDBConn cfg = do
let select = ...
let hello = ...
let kill = ...
pure MKDBConn{select, hello, kill}

и юзаем

main = do
cfg <- getCfg
withDBConn (mkSomeDBConn cfg) do
app

расширяется легко - добавляем просто еще констрейнтов нужных

f :: (WithDB, WithLogger) => IO ()

или даже

type App = (WithDB, WithLogger, ...)

плюсы:
- никаких liftio, unliftio, у тебя тупа IO
- нормальные исключения уже из коробки
- сервисы пишутся легко, примерно тот же код что и на других языках
- легко тестировать, прокинуть моковую имплементацию тривиально
- ну и вроде бы максимальный перфоманс, так как тут нечему тормозить, мы напрямую прокидываем словарики с сервисами
- гранулярность из коробки, ты берешь только те констрейнты которые тебе нужны
- легко делать сервисы еще потому что нам не нужно делать инстанс который чет там из ридера конфиг достает, мы прокидываем конфиг сразу в конструктор сервиса

минусы:
- юзер дсли неограничен ничем, так как у него целый IO