On day 18 we started looking into Cats Effect as an example of effect system, while glancing at John Launchbury and Simon Peyton-Jones’s Lazy Functional State Threads.
We saw that IO datatype is able to describe a program that can be composed in either sequential and parallel way.