pfps-shopping-cart VS intro-cats-effect

Gabriel Volpe has a book that goes over just that using the typelevel stack. I highly recommend it: https://leanpub.com/pfp-scala

The only issue I had was how to put all this knowledge together. For that I bought Practical FP in scala by Gabriel Vlope, it's not for beginners, tho but takes you through a project with the latest typelevel stack. Here's the link. https://leanpub.com/pfp-scala.

This is a really good book https://leanpub.com/pfp-scala

If you want a solid understanding of FP and not just FP in Scala, I highly recommend installing GHCup and working through Haskell Programming From First Principles. Then I would work through Scala With Cats, Essential Effects, and Practical FP in Scala for how all of that maps onto Scala.

Practical FP in Scala

BTW for learning good application structure with Tagless Final I really recommend the book Practical FP in Scala and its work-along example application. That's where I stole the pattern above from.

Intro to Cats Effect by Gavin: https://github.com/Daenyth/intro-cats-effect - This talk is very practical and gets you familiar with IO

Read the docs on the cats-effect website and then solve the tutorial on your own, do not look at the provided answers / code snippets. I also recommend you the talk "Intro to cats effect" by Gavin Bisesi (aka Daenyth). - This one to getting familiar with the IO monad and understand why it it useful.