Отличный монадный туториал:

https://www.chrisstucchio.com/blog/2013/write_some_fucking_code.html

Абсолютно правильная мысль про то, что нет смысла переусложнять изучение ФП паттернов огромной теоретической базой и осмыслением абстракций. Родина дала флэтмап — композишь асинхронщину.

А уже потом при желании и необходимости осознаёшь математический смысл монадок. И для большинства разработчиков нет необходимости в понимании не только теорката, но даже и того, как ZIO и фьючи реализованы в коде.