For anyone looking for a smaller introduction to this book, the author Scott Wlaschin has a talk with the same name: https://youtu.be/2JB1_e5wZmU https://youtu.

For anyone looking for a smaller introduction to this book, the author Scott Wlaschin has a talk with the same name: https://youtu.be/2JB1_e5wZmU https://youtu.be/2JB1_e5wZmU It doesn't cover a lot of good topics in the book, but it might whet your appetite.