Что почитать императивщику, потыкавшему Haskell book почти до конца, чтобы понять о чем речь в этом треде? Знаю, что такое flatMap, ну уровне синтаксиса, но нет понимания эффектов :)
здесь про higher kinded types, GADT , алгебраические эффекты и scala 3 match types, в readme polysemy есть ссылки на конкретные статьи, развитие которых она является https://github.com/polysemy-research/polysemy#readme
Книгу/блог бартоша по диагонали, если нет цели получить применимый навык. Если цель - применимый навык - доку либ, сорсы и так далее, "глубокого понимания" для конкретных прикладных целей нашлепать рест иметь не нужно.