В дружественном чатике по fp-ts проскочила ссылка на перевод мануала по функциональному программированию от автора fp-ts Джулио Канти:
https://github.com/enricopolanski/functional-programming
Хороший, годный, плотный текст, затрагивающий и теорию категорий (с обязательной фоткой Филипа Уодлера в костюме Lambda Calculus Man), и стрелки Клейсли, и tagless final. Рекомендую 🙂